Media Summary: The "environment model" differs from the "substitution model" by lazily recording substitutions in a map Textbook: ... An example of how environment-model evaluation works. Substitution-model evaluation is list-like; environment-model, tree-like. The environment-model semantics of functions requires careful attention to scope Textbook:
Simpl Big Step Ocaml Programming Chapter 9 Video 20 - Detailed Analysis & Overview
The "environment model" differs from the "substitution model" by lazily recording substitutions in a map Textbook: ... An example of how environment-model evaluation works. Substitution-model evaluation is list-like; environment-model, tree-like. The environment-model semantics of functions requires careful attention to scope Textbook: Modifying the parser and AST to incorporate type annotations on `let` bound variables Textbook: The semantics of `let` uses a notion of substitution, but, how should that be defined? These examples lend intuition. Textbook: ... Compilers translate code from one language to another. Interpreters execute code. Virtual machines and just-in-time compilation ...
The HM type-inference relation adds a set of "collected constraints" to the type-checking relation Textbook: ...
