Expressions Ocaml Programming Chapter 2 Video 2

Expressions

if-then-else`

let`

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

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

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

How `let`

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

How to use infix operators as prefix functions. Textbook: https://cs3110.github.io/textbook.

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

Giving functions names with `let` definitions. Textbook: https://cs3110.github.io/textbook.

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

Functions that are parameterized on types. Textbook: https://cs3110.github.io/textbook.

The formal syntax and semantics of lists. Textbook: https://cs3110.github.io/textbook.

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

How to make functions be recursive. Textbook: https://cs3110.github.io/textbook.

Using `let` definitions to bind values to names. Textbook: https://cs3110.github.io/textbook.

More about using pattern matching with variants. Textbook: https://cs3110.github.io/textbook.

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