Types form a semiring. Products multiply, sums add, and the distributive law lets you factor types like polynomials. Initial algebras, catamorphisms, and the deep reason why std::visit is the only operation you need.
Posts tagged “tuple” (2)
The compile-time language has arrays, maps, and linked lists. They just look nothing like their runtime counterparts — and they hold types instead of values.