Calculator Intro Ocaml Programming Chapter 9 Video 3

The first

Implementing the addition operator in the

Implementing the parsing of integer constants in the

Implementing the smallest details of syntax in the

Implementing the evaluation of integer constants in the

Implementing the multiplication operator in the

How to implement `let` expressions, including substitution, in the

Implementing the correct "order of operations" for addition and multiplication in the

The `function` keyword provides helpful syntactic sugar for pattern matching. Textbook: https://cs3110.github.io/textbook.

The "environment model" differs from the "substitution model" by lazily recording substitutions in a map Textbook: ...

The

A "closure" is a data structure containing the code for a function, as well as the environment that "closes" off its free variables.

The front end of a compiler lexes, parses, and performs semantic analysis, such as type checking. The back end manipulates the ...

Get Cracked at

How to define the substitution operation for simple expressions, including `if` and `let` Textbook: https://cs3110.github.io/textbook.

OCaml

Modifying the parser and AST to incorporate type annotations on `let` bound variables Textbook: https://cs3110.github.io/textbook.