Haskell Language
Beliebiger Polymorphismus mit RankNTypes

algorithm C Language C++ clojure F# Java Language GNU/Linux Python Language Regular Expressions Scala Language
Suche…


Einführung

Das Typsystem von GHC unterstützt die explizite universelle Quantifizierung in beliebigen Typen durch die Verwendung der Rank2Types und RankNTypes .

Syntax

  • Die willkürliche Rank2Types entweder mit der Rank2Types oder RankNTypes .
  • Wenn diese Erweiterung aktiviert ist, kann das Schlüsselwort forall verwendet werden, um eine Quantifizierung mit höherem Rang hinzuzufügen.

RankNTypes

StackOverflow zwingt mich zu einem Beispiel. Wenn dieses Thema genehmigt wird, sollten wir dieses Beispiel hier verschieben.



Modified text is an extract of the original Stack Overflow Documentation
Lizenziert unter CC BY-SA 3.0
Nicht angeschlossen an Stack Overflow