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 The "environment model" differs from the "substitution model" by lazily recording substitutions in a map Textbook: ... Defining and implementing the small-step substitution-model semantics of a In a small-step semantics, an expression repeatedly takes a single step of evaluation until it reaches a value Textbook: ... How to implement `let` expressions, including substitution, in the calculator interpereter Textbook: ... Implementing an environment-model big-step Compilers translate code from one language to another. Implementing the addition operator in the calculator My web page: imperial.ac.uk/people/n.sadawi Useful links: ...