September 2016
Intermediate to advanced
408 pages
9h 18m
English
We have already used a number of extensions available in GHC, such as MultiParamTypeClasses, TypeFamilies, FlexibleInstances, and so on. The nice thing about most extensions in GHC is that, if you accidentally try to use a language feature that is behind an extension, GHC gives you a hint about which extension you forgot.
In this last section, we'll look at some more useful extensions available in reasonably modern GHC. There are other extensions, of course, and this is just a glimpse. For an exhaustive list of currently supported extensions, see the Language.Haskell.Extension module from the Cabal library.
Some of the most confusing type errors originate from the monomorphism restriction (MR). Consider ...
Read now
Unlock full access