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: T,U or T|U. A simple but powerful idea that's surprisingly well suited for modeling real world constraints in a typesafe fashion.