Was ist ((-) t) in haskell?

9

Ich mache 20 Zwischen-Haskell-Übungen .

Nach Abschluss der ersten 2 Übung gibt es diese seltsame Sache.

Ich würde gerne wissen, was ist ((->) t) ?

%Vor%

Danke! :-)

    
Pratik Deoghare 18.08.2015, 14:20
quelle

2 Antworten

4

(->) 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:

%Vor%     
Lee 18.08.2015 14:41
quelle
0

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

Wenn wir

haben %Vor%

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

%Vor%

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

    
viorior 19.08.2015 15:33
quelle

Tags und Links