Die Bedeutung von Tilde in Haskell-Typen (Typ Gleichheit)

Question

Ich habe um mit der fix Funktion durcheinander, und ich über das passiert ist:

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

Ich weiß sehr wohl, warum dieser Fehler auftritt, aber ich bemerkte eine lustige Signatur dort oben: t ~ t -> t. Was bedeutet dieser Typ? Was bedeuten Tilde in Typ-Signaturen innerhalb von Haskell? Wo werden sie benutzt?

Answer 1

Tilde (~) in diesem Fehler bedeutet Typ Gleichheit. Es sagt Ihnen, dass t nicht t -> t sein kann. Das Symbol wird auch für irrefutable patterns verwendet, aber das ist ein ganz anderer Kontext.