Haskell Language
Arbiträr rangordnad polymorfism med RankNTypes
Sök…
Introduktion
GHCs typsystem stöder explicit universalmängd i godtycklig rang i typer genom användning av Rank2Types
och RankNTypes
.
Syntax
- Arbiträr rangkvantifiering är aktiverad med
Rank2Types
ellerRankNTypes
. - Med den här tillägget aktiverat kan
forall
nyckelordet användas för att lägga till kvantifiering med högre rang.
RankNTypes
StackOverflow tvingar mig att ha ett exempel. Om detta ämne är godkänt, bör vi flytta detta exempel här.
Modified text is an extract of the original Stack Overflow Documentation
Licensierat under CC BY-SA 3.0
Inte anslutet till Stack Overflow