higher-order-types

hilf uns, dieses Wiki zu bearbeiten
2
Antworten

Musterübereinstimmung bei Funktionen auf der Typ-Ebene ist möglich, aber nicht auf der Werte-Ebene, warum ist dieser Unterschied?

In this < Ein Artikel von SPJ, auf Seite 3 und 4, steht geschrieben: %Vor% und:    Die Klassendeklaration führt jetzt eine Typefunktion Ref (mit a   angegebene Art) neben den üblichen Wertfunktionen wie newRef   (jeweils mit einem bestim...
31.12.2015, 08:48