Lists Ocaml Programming Chapter 3 Video 1

The basics of

The formal syntax and semantics of

More about records vs. variants, and how variants can combine "

In this tutorial, I will show the basic ideas of immutable

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

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

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

OCaml

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

Examples of pattern matching with

My web page: www.imperial.ac.uk/people/n.sadawi.

The syntax and semantics of ref cells 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: ...

Formal syntax and semantics of

How to define a type for binary trees using variants. Textbook: https://cs3110.github.io/textbook.

My web page: www.imperial.ac.uk/people/n.sadawi.

Formal syntax and semantics of

Examples of variants, which along with records are the primary kind of user-defined data types in