We have been implementing types and type checks in our interpreters and compilers, but haven’t really talked formally about how that works in general. In this unit, we will take our experience from dealing with types and see how types and type checking are handled in modern programming languages.
Classes
- Class 5.1: Static and dynamic typing (Monday 17 November)
- Class 5.2: Polymorphism (Wednesday 19 November)
- Class 5.3: Generics and templates (parametric polymorphism) (Monday 24 November)
Homeworks
(None posted yet)
Labs
- Lab 5.1: Numbers and Built-in functions (due 23:59 on Tuesday 02 December)