Posts filed under parsec

Really Getting Hindley-Milner

Hindley-Milner is a type system used as a basis for the types in ML, Haskell and F#. Along with the formal definition is an inference algorithm "Algorithm W" that can deduce the most general type of an expression. Being hugely important component in functional programming it was something I really wanted to understand.