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 09 November)
Homeworks
(None posted yet)
Labs
- Lab 5.1: Numbers and Built-in functions (due 23:59 on Wednesday 18 November)