Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Algebraic data types and mathematical reasoning
Power of mathematics: Reasoning about functional types
http://tomasp.net/blog/types-and-math.aspx/
The algebra (and calculus!) of algebraic data types
https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types
Algebraic type sizes and domain modelling
https://fsharpforfunandprofit.com/posts/type-size-and-design/
@dcastro

This comment has been minimized.

Copy link

commented Dec 7, 2016

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.