Adding Types To Simpl Interpreter Ocaml Programming Chapter 9 Video 33

Summary

Modifying the parser and AST to incorporate Implementing the parsing of integer constants in the calculator Implementing an environment-model big-step In a small-step semantics, an expression repeatedly takes a single step of evaluation until it reaches a value Textbook: ... Defining and implementing the small-step substitution-model semantics of a Compilers translate code from one language to another. How to implement `let` expressions, including substitution, in the calculator interpereter Textbook: ... Implementing the correct "order of operations" for addition and multiplication in the calculator Implementing the addition operator in the calculator Implementing the evaluation of integer constants in the calculator A "closure" is a data structure containing the code for a function, as well as the environment that "closes" off its free variables. Implementing the multiplication operator in the calculator