Type Inference (Part 1)
Summary
A deep dive into Hindley-Milner type inference, unification, and Algorithm J. It explains how let generalization, polymorphism, and row polymorphism work in an ML-like language, with OCaml-style code and examples. It's a valuable resource for understanding type systems and HM inference in practice.