Lecture 10: Hindley Milner Type systems.

One way of making polymorphism practical is to allow users to omit explicit type applications. This however leads to undecidable type inference algorithms which has prompted programming language designers to modify the type system presented in the last lecture. Instead, polymorphic abstraction is implicit, objects of universal type cannot be passed around. The result is a Hindley Milner type system.

Further Reading:

Previous lecture: Lecture 9
Next lecture: Lecture 11