The Function Keyword Ocaml Programming Chapter 3 Video 9

The `function

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

The first

Examples of pattern matching with lists, records, and tuples. Textbook: https://cs3110.github.io/textbook.

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

How to define some common operators for

Additional static checks performed by the compiler on pattern matches: exhaustiveness and unused branches. Textbook: ...

How to make variants be recursive, and how to parameterize them on other types. Textbook: https://cs3110.github.io/textbook.

The basics of

A "closure" is a data structure containing the code for

In this tutorial, I will show the basic ideas of immutable lists (cons lists), as well as polymorphic

OCaml

Drilling down into the parts of

OCaml

Using pattern matching to access the pieces of a variant. Textbook: https://cs3110.github.io/textbook.

The `option` type, which represents optional data. It's a principled way to avoid the plague of `null`. Textbook: ...

An extended example of developing an ADT. Textbook: https://cs3110.github.io/textbook.

The environment-model semantics of

Formal syntax and semantics of