Haskell Language
Polimorfizm o dowolnej randze z typami RankNTes
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
lubRankNTypes
. - 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