A step-by-step guide to implementing type inference from scratch in a functional programming language.
Currently not translated into plain English.