Let Semantics Ocaml Programming Chapter 9 Video 15

Defining the small-step

The

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

How to define the substitution operation for simple expressions, including `if` and `

The environment-model

The grammar of a language can be described in a notation known as "Backus-Naur Form" (BNF). The input to Menhir (or ...

Small- and big-step evaluation relations are themselves related: the big-step is an abstraction of the small-step Textbook: ...

Defining and implementing the small-step substitution-model

Achieving polymorphism for `

Defining a small-step substitution-model

The

The front end of a compiler lexes, parses, and performs

Compilers translate code from one language to another. Interpreters execute code. Virtual machines and just-in-time compilation ...

Defining and implementing the big-step substitution-model

Implementing an environment-model big-step interpreter for a simple language Textbook: https://cs3110.github.io/textbook.

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

Defining the type system for a simple language Textbook: https://cs3110.github.io/textbook.

More about using pattern matching with variants. Textbook: https://cs3110.github.io/textbook.