Core Ocaml Small Step Ocaml Programming Chapter 9 Video 21

Defining a

Defining and implementing the

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

Defining and implementing the big-

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

How to evaluate a

Implementing an environment-model big-

Implementing the smallest details of syntax in the calculator interpreter -- whitespace and parentheses Textbook: ...

A comparison of big-step vs.

Defining the

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

Implementing the multiplication operator in the calculator interpreter Textbook: https://cs3110.github.io/textbook.

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

In a

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

My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ...

The first

Implementing the addition operator in the calculator interpreter Textbook: https://cs3110.github.io/textbook.

How to infer the type of `if` expressions in HM type inference Textbook: https://cs3110.github.io/textbook.