Category: type-systems
Posts in this Category (1)
ML Type Inference
Published on: July 25, 2015
One of the most useful features of ML-family languages (OCaml, Standard ML, F# etc) is the type inference. This post contains the notes I took when I was trying to understand the foundational principles of ML type inference. Damas-Milner Algorithm for Type Inference Let us take a look at the...