Small Step Evaluation Ocaml Programming Chapter 9 Video 13

In a

Defining and implementing the

Defining a

Small- and big-step

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

Defining and implementing the big-

Defining the

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

How to define the substitution operation for simple expressions, including `if` and `let` Textbook: https://cs3110.github.io/textbook.

Implementing the

A comparison of big-step vs.

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

An example of how environment-model

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

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

Implementing an environment-model big-

The first

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.