Lecture 3: Parameterized Types and Polymorphism

Title slide

Slides : Recording

Monday’s lecture gave examples of parameterized types in different programming languages: families of data types with a common structure, built by applying type constructors to one or more type parameters. Examples include in Java or C# generics as well as the algebraic datatypes of Haskell and OCaml. To work with parameterized types we use polymorphic functions — code that can work with more than one type, either in a uniform way (parametric polymorphism) or with type-specific variations (ad-hoc polymorphism).

Links: Slides for Lecture 3; Recording of Lecture 3

Read more