Calculator Parse Integers Ocaml Programming Chapter 9 Video 4

Implementing the

Implementing the addition operator in the

The first

Implementing the evaluation of

Implementing the smallest details of syntax in the

Implementing the multiplication operator in the

Implementing the correct "order of operations"

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

HM type inference of `let` expressions led to type schemes, which enabled polymorphism. Add mutability, though, could lead to a ...

The

The `function` keyword provides helpful syntactic sugar

How to define the substitution operation

Defining the small-step semantics of `let` expressions, based on substitution Textbook: https://cs3110.github.io/textbook.

OCaml

How to infer the type of function applications in HM type inference Textbook: https://cs3110.github.io/textbook.

The environment-model semantics of functions requires careful attention to scope Textbook: https://cs3110.github.io/textbook.

How to evaluate a core fragment of

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

A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ...