Más allá de Hindley-Milner: Un tutorial sobre el compilador Cubiml con subtipado algebraico

Esta serie de publicaciones de blog presenta Cubiml, un tutorial de compilador construido alrededor de un nuevo sistema de inferencia de tipos llamado "cubic biunification", una mejora en el Subtipado Algebraico. Aborda las limitaciones de la falta de soporte de subtipado del sistema Hindley-Milner, proporcionando una inferencia de tipos más potente e intuitiva. El tutorial guía a través de la implementación de Cubiml con ejemplos de código detallados, cubriendo booleanos, condicionales, registros, funciones, enlaces let, enlaces let recursivos, recursión mutua y coincidencia de tipos de caso. El objetivo final es un compilador que verifica los tipos de programas sin requerir anotaciones de tipo manuales.