Shplait Tutorial 1 Simple Values And Types

Summary

Numbers, booleans, strings, and symbols. Representing and interpreting a Distinguishing expressions from Defining your own datatypes with ` Using `first`, `rest`, and `is_cons`. Using `block` for local and nested definitions. Local bindings via `let` can be implemented by making Moe's `parse` convert it into an immediately applied `fun` form. Representing function definitions and function calls for an extended Moe. Expressions vs. “well-formed” expressions. You can skip this video if it seems too tedious, but it's trying to get at what a Goal: use let and lambda to encode a recursive letrec expression.