Shplait Lambda 2 Using Fun

Example uses of

Parsing for Moe

Distinguishing expressions from values, and treating functions as values.

Arithmetic and function calls.

Converting `let` to `

Demonstrating lazy evaluation via

Parsing function defintions and function calls.

Type rules in the traditional, math-ish notation.

Looking at the evaluation of `

Updating `interp` to support `

Numbers, booleans, strings, and symbols.

In today's video I'm going to be teaching you about

Local bindings via `let` can be implemented by making Moe's `parse` convert it into an immediately applied `

Our first step in understanding the letrec encoding is to implement the factorial function in

The

Lexical scope lets us predict, before running a program, where in the environment each variable will appear.

In this step-by-step tutorial, you'