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).Read more
This opening lecture covered some background context for the course, with ideas about what makes existing programming languages distinctive and what inspires new ones. You can read some of this in the slides for the lecture or listen to the recording on Media Hopper Create.Read more
This is the course website for Advances in Programming Languages (APL). Thanks for visiting.
If you are interested in joining the course then please come along to the first lecture, at 1610 on Monday 17 September in Lecture Theatre LG.11 of the David Hume Tower. There’s no need to enrol beforehand, just turn up on the day.
Link: Lecture locationsRead more