Let Expressions Ocaml Programming Chapter 2 Video 5

let

Syntax, semantics, idioms, libraries, tools. Textbook: https://cs3110.github.io/textbook.

How `

if-then-else`

Using `

Expressions

Giving functions names with `

How to define some common operators for function application, including the pipeline operator Textbook: ...

Application of functions to "too few" of arguments, and syntactic sugar. Textbook: https://cs3110.github.io/textbook.

What looks like mutability in the toplevel is not -- it's really just a consequence of scope. Textbook: ...

Applying functions to arguments. Textbook: https://cs3110.github.io/textbook.

Defining the small-step semantics of `

The basics of

The types of function values. Textbook: https://cs3110.github.io/textbook.

Implementing the type checker for a simple language: `

How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: https://cs3110.github.io/textbook.

The syntax and semantics of ref cells Textbook: https://cs3110.github.io/textbook.

Developing an implementation of a data abstraction, as an ongoing example of the documentation that implementers need ...

Modifying the parser and AST to incorporate type annotations on `