Speaker Deck

Algebraic Data Types: a very simple idea

by Roberto Bonvallet

Published October 11, 2017 in Programming

You have two types T and U, you can combine them in two ways: A(T,U) or B(T)|C(U). A simple but powerful idea that's surprisingly well suited for modeling real world constraints in a typesafe fashion.