Enums on Inicio https://blog.rafaelfernandez.dev/es/tags/enums/ Recent content in Enums on Inicio Hugo -- gohugo.io es © 2026 Rafael Fernandez Mon, 16 Mar 2026 00:00:00 +0000 Hacer los estados inválidos irrepresentables 2: el álgebra detrás de tus tipos https://blog.rafaelfernandez.dev/es/posts/making-invalid-states-unrepresentable-2-algebra-behind-types/ Mon, 16 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/making-invalid-states-unrepresentable-2-algebra-behind-types/ Los tipos se llaman algebraicos porque obedecen aritmética. Los tipos producto multiplican, los tipos suma suman. Entender esta aritmética explica por qué un enum con 5 variantes es infinitamente más preciso que 4 flags booleanos. Hacer los estados inválidos irrepresentables 1: por qué los flags booleanos son bugs disfrazados https://blog.rafaelfernandez.dev/es/posts/making-invalid-states-unrepresentable-1-boolean-flags/ Sat, 14 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/making-invalid-states-unrepresentable-1-boolean-flags/ Un semáforo que está en rojo y verde a la vez. Un usuario que está logueado y deslogueado simultáneamente. Los flags booleanos hacen estos estados absurdos perfectamente representables, y ese es el problema.