代字號在Haskell類型（類型相等）的含義

Question

我已經與fix功能瞎搞，我正好碰到這個：

λ let fix f = let x = f x in x 
λ fix (+) 

<interactive>:15:5: 
    Occurs check: cannot construct the infinite type: t ~ t -> t 
    Expected type: t -> t 
     Actual type: t -> t -> t 
    Relevant bindings include it :: t (bound at <interactive>:15:1) 
    In the first argument of ‘fix’, namely ‘(+)’ 
    In the expression: fix (+) 

我清楚地知道，爲什麼這個錯誤發生，但我在那裏注意到一個有趣的類型簽名：t ~ t -> t。這種類型是什麼意思？ haskell中的類型簽名是什麼意思？他們在哪裏使用？

Answer 1

Tilde（~）中的錯誤代表類型相等。它告訴你，它不能推斷t是t -> t。該符號也用於irrefutable patterns，但這是完全不同的上下文。