Tumblelog by Soup.io
Newer posts are loading.
You are at the newest post.
Click here to check if anything new just came in.

Generalized Algebraic Datatypes (GADT)

Generalized Algebraic Datatypes basically allow you to explicitly write down the types of the constructors of a type

Don't be the product, buy the product!

Schweinderl