Haskell Language
Polimorfismo di grado arbitrario con RankNTypes

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


introduzione

Il sistema di tipi di GHC supporta la quantificazione universale esplicita di grado arbitrario nei tipi attraverso l'uso delle estensioni del linguaggio Rank2Types e RankNTypes .

Sintassi

  • La quantificazione arbitraria del rango è abilitata con l'estensione del linguaggio Rank2Types o RankNTypes .
  • Con questa estensione abilitata, la parola chiave forall può essere utilizzata per aggiungere una quantificazione di rango superiore.

RankNTypes

StackOverflow mi obbliga ad avere un esempio. Se questo argomento è approvato, dovremmo spostare questo esempio qui.



Modified text is an extract of the original Stack Overflow Documentation
Autorizzato sotto CC BY-SA 3.0
Non affiliato con Stack Overflow