https://blog.rafaelfernandez.dev/tags/ocaml/ Recent content in Ocaml on Home Hugo -- gohugo.io en © 2026 Rafael Fernandez Mon, 16 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/posts/making-invalid-states-unrepresentable-2-algebra-behind-types/ Mon, 16 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/posts/making-invalid-states-unrepresentable-2-algebra-behind-types/ Types are called algebraic because they obey arithmetic. Product types multiply, sum types add. Understanding this arithmetic explains why an enum with 5 variants is infinitely more precise than 4 boolean flags.