Keith Pinson: Who Let Algebra Get Funky with my Data Types - λC 2016

If you are confused or frustrated that the word "algebra" could impose itself on a programming concept like "data type", or even if you have never heard of algebraic data types (ADTs) before, this is the talk for you. Despite their imposing name, ADTs have great practical benefits. By allowing you to model your domain more closely, they both enhance the expressiveness of your code and help ensure the correctness of your program. In this talk, the speaker will explain how a type can be algebraic and suggest some practical benefits. Those who are less mathematically inclined are encouraged to attend as the speaker's approach is intuition-based rather than strict or rigorous!