Au-delà de Hindley-Milner : Tutoriel sur le compilateur Cubiml avec sous-typage algébrique
Cette série d’articles de blog présente Cubiml, un tutoriel de compilateur basé sur un nouveau système d’inférence de types appelé « cubic biunification », une amélioration du sous-typage algébrique. Il traite des limites du manque de prise en charge du sous-typage dans le système Hindley-Milner, offrant une inférence de types plus puissante et intuitive. Le tutoriel explique l’implémentation de Cubiml à l’aide d’exemples de code détaillés, couvrant les booléens, les instructions conditionnelles, les enregistrements, les fonctions, les liaisons let, les liaisons let récursives, la récursion mutuelle et la correspondance de types de cas. L’objectif final est un compilateur qui vérifie les types des programmes sans nécessiter d’annotations de type manuelles.