Haskell Language
Polimorfismo de rango arbitrario con RankNTypes

algorithm C Language C++ clojure F# Java Language GNU/Linux Python Language Regular Expressions Scala Language
Buscar..


Introducción

El sistema de tipos de GHC admite la cuantificación universal explícita de rango arbitrario en tipos mediante el uso de las extensiones de lenguaje Rank2Types y RankNTypes .

Sintaxis

  • La cuantificación arbitraria de rango se habilita con la extensión de lenguaje Rank2Types o RankNTypes .
  • Con esta extensión habilitada, la palabra clave forall se puede usar para agregar una cuantificación de rango superior.

RankNTypes

StackOverflow me obliga a tener un ejemplo. Si se aprueba este tema, deberíamos mover este ejemplo aquí.



Modified text is an extract of the original Stack Overflow Documentation
Licenciado bajo CC BY-SA 3.0
No afiliado a Stack Overflow