Haskell Language
Полиморфизм произвольного ранга с RankNTypes
Поиск…
Вступление
Система типов 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