#lang 1 — typed classes (5:23)
Making the typed class language work with macros in place of interp. We use our old implementation of type checking, but launch it from the #%module-begin macro. See typed-class-lang.rkt and unparse-class.rkt.
#lang 2 — source locations (5:53)
Making type errors highlight the right part of the program in pink. See typed-class.zip (which contains the code for all of the remaining videos).
#lang 3 — #lang (3:50)
Collections, packages, and making #lang typed-class work.
#lang 4 — parsing (5:41)
Taking character-level control of the language to implement a Java-like syntax for our typed classes.
#lang 5 — parsing implementation (4:47)
The gory details on parsing. There are many ways to parse characters into abstract syntax; we show a relatively common and traditional approach.
#lang 6 — syntax coloring (3:03)
Making Java-style work right in DrRacket.