3 ms·
This is my favorite resource: http://haskellbook.com/ http://haskellbook.com/ It covers beginner topics through arguably advanced topics (monad transformers, e
by 15155 10y ago
This is my favorite resource: http://haskellbook.com/ http://haskellbook.com/
It covers beginner topics through arguably advanced topics (monad transformers, etc.)
"Advanced" is subjective, but I don't believe the current version covers GADTs, type families, or other more esoteric extensions.
(No affiliation to the authors)
- cies 10y ago> I don't believe the current version covers GADTs, type families Indeed it does not currently cover that.
- cm3 10y agoI've seen GADTs as a feature that Haskell devs complained about, similar to Template Haskell. I know the issues with TH, but what's the limitation of GADTs as implemented in Haskell, and are there languages with less problematic implementations?
- tel 10y agoMaybe some people think they're a little complex, but there's nothing particularly wrong with them in Haskell. They can be extended further in a dependently-typed context, but that's really another thing completely.