Aki went to Hacker School in the summer season of 2013 where he worked on an ML compiler, including an implementation of Hindley-Milner. Hindley-Milner (H-M) sort inference is an algorithm which deduces static sorts in programming languages like OCaml and …
