7
Abusar del álgebra de los tipos de datos algebraicos: ¿por qué funciona esto?
La expresión 'algebraica' para los tipos de datos algebraicos parece muy sugerente para alguien con experiencia en matemáticas. Déjame intentar explicar lo que quiero decir. Habiendo definido los tipos básicos Producto • Unión + único X Unidad 1 y usando la taquigrafía X²para X•Xy 2Xpara X+Xetcétera, podemos definir expresiones algebraicas …