The Function Keyword Ocaml Programming Chapter 3 Video 9

The `function

The first

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

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

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

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

OCaml

The basics of

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

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

A comparison of the cons `::` and append `@` operators. Textbook: https://cs3110.github.io/textbook.

Drilling down into the parts of

The environment-model semantics of

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

How to handle exceptions with `try` and pattern matching. 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: ...

The HM type-inference relation adds a set of "collected constraints" to the type-checking relation Textbook: ...