A minimal Python implementation of Hindley-Milner type inference | Hacker News Reader