Поиск…


Вступление

Система типов GHC поддерживает произвольное количественное определение произвольного уровня в типах посредством использования языковых расширений Rank2Types и RankNTypes .

Синтаксис

  • Произвольное количественное определение ранжирования разрешено с расширением языка Rank2Types или RankNTypes .
  • Если это расширение включено, ключевое слово forall можно использовать для добавления количественной оценки более высокого ранга.

RankNTypes

StackOverflow заставляет меня иметь один пример. Если эта тема одобрена, мы должны переместить этот пример здесь.



Modified text is an extract of the original Stack Overflow Documentation
Лицензировано согласно CC BY-SA 3.0
Не связан с Stack Overflow