Szukaj…


Wprowadzenie

System typów GHC obsługuje jednoznaczną uniwersalną kwantyfikację rang w typach za pomocą rozszerzeń językowych Rank2Types i RankNTypes .

Składnia

  • Arbitralne kwantyfikowanie rang jest włączane za pomocą rozszerzenia językowego Rank2Types lub RankNTypes .
  • Po włączeniu tego rozszerzenia można użyć słowa kluczowego forall aby dodać kwantyfikację wyższego rzędu.

RankNTypes

StackOverflow zmusza mnie do posiadania jednego przykładu. Jeśli ten temat zostanie zatwierdzony, powinniśmy przenieść ten przykład tutaj.



Modified text is an extract of the original Stack Overflow Documentation
Licencjonowany na podstawie CC BY-SA 3.0
Nie związany z Stack Overflow