Everything in haskell is oh so hard until it suddenly isn't.
joeyh at
Finally, GADTs make sense! Using them happily to do things I couldn't do before.
Raúl Benencia, Stefano Zacchiroli, Claes Wallin (韋嘉誠) likes this.
Claes Wallin (韋嘉誠), Claes Wallin (韋嘉誠) shared this.
Show all 5 replies
@Claes Wallin: both OCaml and ML have parametric polymorphism, but that's less expressive than GADT. OCaml, as of version 4.x (IIRC) also has GADTs
Stefano Zacchiroli at 2014-12-08T10:16:53Z
Claes Wallin (韋嘉誠) likes this.
@Claes Wallin and others: the Wikibook is indeed the best! No reason to link to the mobile version though, here's the straight link https://en.wikibooks.org/wiki/Haskell/GADT