type-constructor

In der Typentheorie und in Haskell eine Entität, die einen Typ anhand von Parametern angibt; äquivalent, ein parameterisierter Datentyp
3
Antworten

Was bedeutet "((-) a)"?

Ich habe diesen Typ schon mal gesehen, ohne zu wissen, was es bedeutet. Bedeutet es etwas und / oder hat es einen Namen? %Vor%     
17.12.2012, 00:37