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 de Rank2Types of RankNTypes .
  • 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