marmolubio + data 25
GADTs for dummies - HaskellWiki
february 2012 by marmolubio
And here we finally come to GADTs! It's just a way to define data types using pattern matching and constants on the left side of "data" statements!
data
ghc
haskell
february 2012 by marmolubio
Haskell/GADT - Wikibooks, open books for an open world
january 2012 by marmolubio
The obvious notation for restricting the type of a constructor is to write down its type, and that's exactly how GADTs are defined [...] If you like Existentially quantified types, you'd probably want to notice that they are now subsumbed by GADTs.
data
functional
haskell
january 2012 by marmolubio
related tags
academic ⊕ algorithm ⊕ algorithms ⊕ analysis ⊕ api ⊕ blog ⊕ business ⊕ culture ⊕ data ⊖ databases ⊕ datastructure ⊕ economics ⊕ economy ⊕ europe ⊕ film ⊕ functional ⊕ ghc ⊕ haskell ⊕ health ⊕ history ⊕ maps ⊕ medieval ⊕ money ⊕ movies ⊕ nyt ⊕ productivity ⊕ programming ⊕ reference ⊕ resources ⊕ reviews ⊕ sociology ⊕ software ⊕ statistics ⊕ storage ⊕ technology ⊕ tools ⊕ virtualization ⊕ visualization ⊕ web ⊕Copy this bookmark: