Looking for haskell Keywords? Try Ask4Keywords

Haskell LanguageRolle


Einführung

Mit der TypeFamilies kann der Programmierer Funktionen auf TypeFamilies definieren. Typfunktionen unterscheiden sich nicht von GADT-Typkonstruktoren: Parameter von Typfunktionen können nicht parametrisch sein, während Parameter von Typkonstruktoren immer parametrisch sind. Diese Unterscheidung ist wichtig für die Richtigkeit der Erweiterung GeneralizedNewTypeDeriving . Um diese Unterscheidung zu erläutern, werden Rollen in Haskell eingeführt.

Bemerkungen

Siehe auch SafeNewtypeDeriving .

Rolle Verwandte Beispiele