Simpl Big Step Ocaml Programming Chapter 9 Video 20

Summary

Defining and implementing the small- Implementing an environment-model The "environment model" differs from the "substitution model" by lazily recording substitutions in a map Textbook: ... How to evaluate a core fragment of The environment-model semantics of functions requires careful attention to scope Textbook: cs3110.github.io/textbook. Modifying the parser and AST to incorporate type annotations on `let` bound variables Textbook: cs3110.github.io/textbook. Implementing the evaluation of integer constants in the calculator interpreter Textbook: cs3110.github.io/textbook. The semantics of `let` uses a notion of substitution, but, how should that be defined? These examples lend intuition. Textbook: ... An example of how environment-model evaluation works. Substitution-model evaluation is list-; environment-model, tree-. How to implement `let` expressions, including substitution, in the calculator interpereter Textbook: ...