Why Algebraic Data Types are algebraic
Note, this talk is completely inspired by Chris Taylor. See his blog posts and presentation below for more fun.
Talk at LVFPUG on 2015-09-10 about ADTs.
Slides
- https://docs.google.com/presentation/d/1QqY1tzoeFvXG_vz1HAwd_ioZZJBxszTngA_umzc9TCw/edit?usp=sharing
References
- https://www.youtube.com/watch?v=YScIPA8RbVE
- http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/
- http://chris-taylor.github.io/blog/2013/02/11/the-algebra-of-algebraic-data-types-part-ii/
- http://stackoverflow.com/questions/9190352/abusing-the-algebra-of-algebraic-data-types-why-does-this-work