Was ist ((-) t) in haskell?

(->) ist der Typkonstruktor für Funktionen, der die Art * -> * -> * hat, so dass es zwei Typparameter benötigt - den Eingabe- und den Ergebnistyp der Funktion. ((->) t ist eine partielle Anwendung dieses Konstruktors, so dass es Funktionen mit einem Argumenttyp von t hat, d. h. (t - & gt; a) für einen Typ a .

Wenn Sie das in den Typ der Funktion furry ersetzen, erhalten Sie:

Sie sollten das Präfix (->) t a als Infix t -> a lesen.

Wenn wir

für Maybe a type (und * -> * art), dann

ist für (->) t a == t -> a type (und * -> * kind) - für jede Funktion mit 1 Argument