4 ms·
Haskell* is essentially an extension of System F. System F has no set models. * Need to enable a few extensions.
by danharaj 10y ago
Haskell* is essentially an extension of System F. System F has no set models.
* Need to enable a few extensions.
- catnaroek 10y agoOh, that's another thing that makes me really angry too: GHC's lack of distinction between first-class polymorphism (functions from types to values, à la System F(ω)) and second-class polymorphism (values, not necessarily functions, that admit more than one type, à la Damas-Milner). But that's a topic for another day. EDIT: Also, I forgot, I haven't actually seen Haskellers use ImpredicativeTypes much. Are you really sure that the predicative subset of System F (just RankN types) has no set models?