Variable Expressions And Scope Ocaml Programming Chapter 2 Video 6

How `let`

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

let`

if-then-else`

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

Intro to

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

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

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

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

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

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

Bringing module definitions into

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

Expressions

The correctness of a data-abstraction operation can be understood using abstraction functions, representation invariants, and ...

The semantics of `let` uses a notion of substitution, but, how should that be defined? These examples lend intuition. Textbook: ...