Shplait Tutorial 1 Simple Values And Types

Numbers, booleans, strings, and symbols.

Types

Introduction and goals of

Defining your own datatypes with `

Using the design recipe for atomic data.

Arithmetic and function calls.

Creating lists.

Distinguishing expressions from

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

Introducing the design recipe.

Using `block` for local and nested definitions.

Implementing `typecheck`.

Syntax objects for representing expressions without evaluating them.

Type

Using `first`, `rest`, and `is_cons`.

Representing and interpreting a

Representing

A list is a data

Expressions vs. “well-formed” expressions. You can skip this video if it seems too tedious, but it's trying to get at what a