Algebraic Data Types: a very simple idea

Algebraic Data Types: a very simple idea

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.

5986747b5b748191ff78064865e3a062?s=128

Roberto Bonvallet

October 11, 2017
Tweet