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...