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