Combinatory Logic, Abstraction, iota and jot
The problem with lambdas: compiling them to run on a computer.
Lectures
Types, and type systems.
Preliminaries
Macros
An exploration of macros, and some debugging tips from them.
ParentheC
The rest of the program …
RI wrt K
Opening act
CPSing an interpreter
Today topics
Continuation passing style
Questions
Parameter Passing
Questions
Equational reasoning and higher order functions
A couple of notes.
(Lexical vs) Dynamic Scope
Questions
Universality of lambda calculus, alpha, beta, and eta.
Questions Brief Homework questions
Free, bound, and lexical address
Questions and Update I renamed some questions on hw to correspond w/these notes. Brief Homework questions
letrec, quasiquote, and match
Objectives
Class intro; Racket 101
Objectives
Staging
The three projections of Dr. Futamura
Exam Review
A full-day exam review.
Trampolining
Questions? Let's do them!
Registerizing
See extended lecture notes and video on performing this transformation