Learn how to implement Hindley-Milner type inference – Vivint's Game of Codes | Hacker News Reader