Media Summary: 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: ... Defining a small-step substitution-model semantics for a core fragment of
Compilers And Interpreters Ocaml Programming Chapter 9 Video 1 - Detailed Analysis & Overview
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: ... Defining a small-step substitution-model semantics for a core fragment of Explaining what the purpose of a translator is, and the key characteristics of the two types of high-level translator: Implementing the parsing of integer constants in the calculator Implementing the addition operator in the calculator
The grammar of a language can be described in a notation known as "Backus-Naur Form" (BNF). The input to Menhir (or ... Implementing an environment-model big-step Implementing the smallest details of syntax in the calculator
