Hacer los estados inválidos irrepresentables 2: el álgebra detrás de tus tipos
·7 mins
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.