Além de Hindley-Milner: Um tutorial sobre o compilador Cubiml com subtipagem algébrica

Esta série de posts de blog apresenta o Cubiml, um tutorial de compilador construído em torno de um novo sistema de inferência de tipos chamado "cubic biunification", uma melhoria na Subtipagem Algébrica. Ele aborda as limitações da falta de suporte a subtipagem do sistema Hindley-Milner, fornecendo uma inferência de tipos mais poderosa e intuitiva. O tutorial percorre a implementação do Cubiml com exemplos de código detalhados, cobrindo booleanos, condicionais, registros, funções, ligações let, ligações let recursivas, recursão mútua e correspondência de tipos de caso. O objetivo final é um compilador que verifica tipos de programas sem exigir anotações de tipo manuais.