Calculator Addition Ocaml Programming Chapter 9 Video 6

Implementing the

The first

Implementing the multiplication operator in the

Implementing the smallest details of syntax in the

Implementing the parsing of integer constants in the

Implementing the evaluation of integer constants in the

Implementing the correct "order of

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

BYOPL course playlist: https://www.youtube.com/playlist?list=PLIgSR01UTt8OHY8WhAqOmr8EzArJYd5Z0 We explain how to ...

The

Proof by induction of correctness of a function that computes the summation of an integer sequence Textbook: ...

HM type inference of `let` expressions led to type schemes, which enabled polymorphism.

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: ...

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

Defining a small-step substitution-model semantics for a core fragment of