Ich habe mit der fix -Funktion herumgespielt, und mir ist das passiert:
Ich weiß ganz genau, warum dieser Fehler aufgetreten ist, aber ich habe eine lustige Signatur dort oben bemerkt: t ~ t -> t . Was bedeutet dieser Typ? Was bedeuten Tilde in Typ-Signaturen innerhalb von Haskell? Wo werden sie verwendet?
Tilde ( ~ ) in diesem Fehler bedeutet Typ Gleichheit . Es sagt Ihnen, dass es t nicht zu t -> t ableiten kann. Das Symbol wird auch für unwiderlegbare Muster verwendet, aber das ist ein völlig anderer Kontext.