Simple Hindley-Milner in Practice

Posted on May 29, 2025 📄 Download as PDF Part 1 - Introduction Structure of this Document Conventions Scope Why LISP? Quick Lisp Primer Part 2 - Type Systems Hindley-Milner Type System The Type Checker Unification 🧩 Longer unification Example Generalisation Instantiation 🧩 Longer Generalisation Example Infinite Types Summary Part 3 - Introduction to the Code Implementation Overview Compiler…