## User login## Navigation |
## A modern eye on ML type inference - Pottier 2005
A recent enlightening discussion on recursive type inference at comp.lang.functional brought the following tutorial paper on ML type inference to my attention.
A modern eye on ML Type Inference by Francois Pottier INRIA September 2005.Hindley and Milnerâ€™s type system is at the heart of programming languages such as Standard ML, Objective Caml, and Haskell. Its expressive power, as well the existence of a type inference algorithm, have made it quite successful. Traditional presentations of this algorithm, such as Milnerâ€™s Algorithm W, are somewhat obscure. These short lecture notes, written for the APPSEMâ€™05 summer school, begin with a presentation of a more modern, constraint-based specification of the algorithm, and explain how it can be extended to accommodate features such as algebraic data types, recursion, and (lexically scoped) type annotations. Then, two chapters, yet to be written, review two recent proposals for incorporating more advanced features, known as arbitrary-rank predicative polymorphism and generalized algebraic data types. These proposals combine a traditional constraint-based type inference algorithm with a measure of local type inference. |
## Browse archives## Active forum topics |

## Recent comments

21 hours 23 min ago

1 day 21 hours ago

1 day 23 hours ago

1 day 23 hours ago

3 days 5 hours ago

3 days 5 hours ago

4 days 23 min ago

4 days 1 hour ago

4 days 2 hours ago

4 days 17 hours ago