Lecture 9: Polymorphism.

In this lecture we discuss a clean system of polymorphic abstraction. At the end of the lecture, we will undertstand what polymorphic datatypes are, and how one can program functions which are of type forall types. The advantage of this system is that it is incredibly powerful, the drawback that types cannot be automatically inferred.

Further Reading:

Previous lecture: Lecture 8
Next lecture: Lecture 10