Small Step Evaluation Ocaml Programming Chapter 9 Video 13

Summary

The "environment model" differs from the "substitution model" by lazily recording substitutions in a map Textbook: ... How to define the substitution operation for simple expressions, including `if` and `let` Textbook: cs3110.github.io/textbook. Defining and implementing the big- Modifying the parser and AST to incorporate type annotations on `let` bound variables Textbook: cs3110.github.io/textbook. Compilers translate code from one language to another. Interpreters execute code. Virtual machines and just-in-time compilation ... 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: ... Defining the type system for a simple language Textbook: cs3110.github.io/textbook.