Haskell Language
Polymorphisme de rang arbitraire avec RankNTypes

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


Introduction

Le système de type GHC prend en charge la quantification universelle explicite de rang arbitraire dans les types grâce à l'utilisation des extensions de langage Rank2Types et RankNTypes .

Syntaxe

  • La quantification de rang arbitraire est activée avec l'extension de langage Rank2Types ou RankNTypes .
  • Avec cette extension activée, le mot clé forall peut être utilisé pour ajouter une quantification de rang supérieur.

RankNTypes

StackOverflow me force à avoir un exemple. Si ce sujet est approuvé, nous devrions déplacer cet exemple ici.



Modified text is an extract of the original Stack Overflow Documentation
Sous licence CC BY-SA 3.0
Non affilié à Stack Overflow