Excessive explanation, part one
https://ericlippert.com/2016/11/30/4498/ [ericlippert.com]
2016-12-05 20:47
This is Damas and Milner’s seminal paper on how to do type inference in ML, the language that OCaml is based on.
The beginning of an ongoing series.