Simpl Big Step Ocaml Programming Chapter 9 Video 20

Defining and implementing the

Defining and implementing the small-

Defining a small-

The "environment model" differs from the "substitution model" by lazily recording substitutions in a map Textbook: ...

Implementing an environment-model

An example of how environment-model evaluation works. Substitution-model evaluation is list-like; environment-model, tree-like.

How to evaluate a core fragment of

Modifying the parser and AST to incorporate type annotations on `let` bound variables Textbook: https://cs3110.github.io/textbook.

The environment-model semantics of functions requires careful attention to scope Textbook: https://cs3110.github.io/textbook.

Implementing the type checker for a

Defining the type system for a

Implementing the evaluation of integer constants in the calculator interpreter Textbook: https://cs3110.github.io/textbook.

A comparison of

The semantics of `let` uses a notion of substitution, but, how should that be defined? These examples lend intuition. Textbook: ...

A "closure" is a data structure containing the code for a function, as well as the environment that "closes" off its free variables.

In a small-

The first

A substitution-model semantics for functions requires a notion of how to substitute inside the body of a function. Getting that right is ...

Small- and