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
interpreter
lexical scope
local binding
macro
memory safety
nominal type
objects
parsing
plait
recursion
scope
smol
static-types
stuctural type
syntactic-continuations
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
Lecture 15: Generators and Continuations