Variable Expressions And Scope Ocaml Programming Chapter 2 Video 6

How `let`

let`

if-then-else`

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

A template for function specifications Textbook: https://cs3110.github.io/textbook.

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

Expressions

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

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

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

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

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

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

Drilling down into the parts of a function specification: preconditions, postconditions, examples. Textbook: ...

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

Bringing module definitions into