Welcome to Comp308: Principles of Programming Languages’s documentation!¶
- Welcome note
- A quick introduction to Racket and Scheme
- Lambda - the everything
- Lambda - via β-abstraction
- A language for pictures
- A mental model for the machine
- Notional machine
- Growing the language
- Functions and scope
- Stacks and scope
- Functions in PicLang
- Mutations
- Control
- On the choice between “error” and “do something reasonable” in design
- Objects
- Objects - the Self way
- Generators
- Alternative application semantics
- Types: Checking some program invariants statically