Media Summary: Defining and implementing the small-step substitution- Compilers translate code from one language to another. Implementing the smallest details of syntax in the calculator
Simpl Environment Model Interpreter Ocaml Programming Chapter 9 Video 25 - Detailed Analysis & Overview
Defining and implementing the small-step substitution- Compilers translate code from one language to another. Implementing the smallest details of syntax in the calculator Defining and implementing the big-step substitution- A "closure" is a data structure containing the code for a function, as well as the Modifying the parser and AST to incorporate type annotations on `let` bound variables Textbook:
Implementing the parsing of integer constants in the calculator A comparison of big-step vs. small-step semantics, and substitution How to implement `let` expressions, including substitution, in the calculator interpereter Textbook: ... Implementing the multiplication operator in the calculator Implementing the evaluation of integer constants in the calculator
