Znaczenie tyldy w Haskell typy (równości Type)

Question

Byłem pałować z funkcją fix, a ja się po drugiej stronie to:

λ 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 (+) 

dobrze wiem, dlaczego ten błąd występuje, ale zauważyłem tam zabawny podpis: t ~ t -> t. Co oznacza ten typ? Co oznacza tylda w podpisach typu w haskell? Gdzie są one używane?

Answer 1

Tilde (~) w tym błędzie oznacza typ równości. Mówi ci, że nie można wywnioskować, że t ma być t -> t. Symbol jest również używany w przypadku irrefutable patterns, ale jest to zupełnie inny kontekst.