Compilers And Interpreters Ocaml Programming Chapter 9 Video 1 - Detailed Analysis
Modifying the parser and AST to incorporate type annotations on `let` bound variables Textbook: Implementing the type checker for a simple language: constants, variables, and binary operators Textbook: ... Implementing the addition operator in the calculator Implementing the parsing of integer constants in the calculator Implementing an environment-model big-step Defining a small-step substitution-model semantics for a core fragment of
The grammar of a language can be described in a notation known as "Backus-Naur Form" (BNF). The input to Menhir (or ... Implementing the smallest details of syntax in the calculator The "environment model" differs from the "substitution model" by lazily recording substitutions in a map Textbook: ... The AST (abstract syntax tree) is the data structure that sits at the interface between the front-end and back-end of a Defining and implementing the big-step substitution-model semantics of a simple language Textbook: ... Defining the small-step semantics of `let` expressions, based on substitution Textbook:
Photo Gallery
