超越Hindley-Milner：立足代数子类型推断的Cubiml编译器教程

本文介绍了一个名为Cubiml的编译器教程，它基于一种名为“三次二元合一”的改进型代数子类型推断系统。该系统克服了传统的Hindley-Milner系统在子类型支持方面的不足，并提供更强大、更直观的类型推断。教程以逐步的代码示例讲解Cubiml的实现，涵盖布尔值、条件语句、记录、函数、let绑定、递归let绑定、互递归以及case类型匹配等特性，最终目标是构建一个无需手动类型标注即可进行类型检查的编译器。