Variants Ocaml Programming Chapter 3 Video 13

Examples of

Using pattern matching to access the pieces of a

More about records vs.

The formal syntax and semantics of

More about using pattern matching with

In this tutorial, I will show the basic ideas of immutable lists (cons lists), as well as polymorphic functions that operate over lists.

How to make

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

An extended example of developing an ADT. 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 lists. Textbook: https://cs3110.github.io/textbook.

The basics of

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

Formal syntax and semantics of

Lists vs. Tuples vs. Records 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: ...

OCaml

How to define a type for binary trees using

How to raise exceptions, which are really