Macros
This is an exploration of macros, and some debugging tips for defining and programming with them.
Lectures
Logic Programming a Type Inferencer
Logic Programming—programming with relations
Types
Preliminaries
OO Programming
Object-oriented Programming
Exam
A full-class exam.
Exam Review
A full-day exam review.
ParentheC
The rest of the program …
Trampolining
Questions? Let's do them!
RI wrt K
Opening act
CPSing an interpreter
Today topics
Intro to continuations and CPS
Questions
Parameter Passing
Questions
Equational reasoning and higher order functions
Racket’s match
(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
Class intro; Racket 101
Objectives
Combinatory Logic, Abstraction, iota and jot
The problem with lambdas: compiling them to run on a computer.
letrec, quasiquote, and match
Objectives
Staging
The three projections of Dr. Futamura
Registerizing
See extended lecture notes and video on performing this transformation