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. Modifying the parser and AST to incorporate type annotations on `let` bound variables Textbook:
Simpl Small Step Ocaml Programming - 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. Modifying the parser and AST to incorporate type annotations on `let` bound variables Textbook: This presentation was recorded at YOW! 2015. Tim McGilchrist - Web Developer at Blake ...
