On this page, you will find slides and other materials presented in class. Most of these slides were originally based on some lecture notes by Eli Barzilay. Over the years they have mutated in various ways, most recently with some cosmetic changes to follow the 3rd edition of PLAI a bit better.
Mistakes are probably mine.
You can browse the examples directly or by tags.
algebraic data type
conditional
continuations
lecture
dynamic dispatch
environment
evaluation
exceptions
first class functions
function
functions
generators
hygiene
inheritance
lexical scope
local binding
macro
memory safety
nominal type
objects
parsing
plait
recursion
scope
smol
static-types
stuctural type
syntax-rules
type-calculator
type-checker
type inference
types
unification
union type
web programming
Lecture 13: Algebraic and Union Types
Lecture 14: Structural and Nominal Types