Type Algebra and You

Articles about the arithmetic manipulation of algebraic types.

Publication dates correspond to the original WordPress publication dates.

Type Algebra and You, Part 1: Basics

Counting and arithmetic on finite types.

Type Algebra and You, Part 2: A Fixer-upper

Broadening arithmetic to exponentials and adding in fixed points.

Type Algebra and You, Part 3: Combinatorial Types

Isomorphisms through algebra on inducive types.