https://sparsenotes.com/tags/hindley-milner/ Recent content in hindley-milner on Sparse Notes https://sparsenotes.com/images/og-default.png https://sparsenotes.com/images/og-default.png Hugo -- gohugo.io Sat, 31 Oct 2026 00:00:00 +0000 https://sparsenotes.com/posts/2026/10/papers/milner-theory-of-type-polymorphism-1978/ Sat, 31 Oct 2026 00:00:00 +0000 https://sparsenotes.com/posts/2026/10/papers/milner-theory-of-type-polymorphism-1978/ Seminal paper of the week: Robin Milner gave ML a type system in which programmers write no type annotations, the compiler infers the most general type for every expression, and well-typed programs provably cannot go wrong. Algorithm W and let-polymorphism are still the core of OCaml, Haskell and F#, and the template for inference in Rust and Swift.