Shplait Compilation 1 Toward Machine Code

Considering how to translate our interpreter from

Numbers, booleans, strings, and symbols.

Implementing the compiler from names to positions.

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

Our encoding of `letrec` works for functions, but it's not as general as `letrec` in

Using the design recipe for atomic data.

Compiling

Types as a way of avoiding errors during `interp`.

Introduction and goals of type checking for classes.

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

Representing function definitions and function calls for an extended Moe.

Converting the interpreter to avoid implicit continuations and and function calls.

Explaining

Arithmetic and function calls.

Distinguishing expressions from values, and treating functions as values.

Canale Italiano - https://www.youtube.com/channel/UCgq3a4_mJ0YCwzWu4tW90kQ . The strlcpy must be nested inside the if ...

We can encode a multi-argument function as single-argument functions by currying.