Media Summary: Types as a way of avoiding errors during `interp`. Introduction and goals of type checking for classes. Representing function definitions and function calls for an extended Moe.
Shplait Tutorial 1 Simple Values - Detailed Analysis & Overview
Types as a way of avoiding errors during `interp`. Introduction and goals of type checking for classes. Representing function definitions and function calls for an extended Moe. Local bindings via `let` can be implemented by making Moe's `parse` convert it into an immediately applied `fun` form. Introducing continuations as a language implementation's way of keeping track of what to do next. Syntax objects for representing expressions without evaluating them.
Using `block` for local and nested definitions.
