Haskell Language
Willekeurig gerangschikt polymorfisme met RankNTypes
Zoeken…
Invoering
Het type systeem van GHC ondersteunt willekeurige rang expliciete universele kwantificatie in typen door het gebruik van de Rank2Types
en RankNTypes
.
Syntaxis
- Willekeurige
Rank2Types
is ingeschakeld met deRank2Types
ofRankNTypes
. - Als deze extensie is ingeschakeld, kan het
forall
trefwoord worden gebruikt om kwantificering van een hogere rang toe te voegen.
RankNTypes
StackOverflow dwingt me om een voorbeeld te hebben. Als dit onderwerp is goedgekeurd, moeten we dit voorbeeld hiernaartoe verplaatsen.
Modified text is an extract of the original Stack Overflow Documentation
Licentie onder CC BY-SA 3.0
Niet aangesloten bij Stack Overflow