Algebraic Data Types Ocaml Programming Chapter 3 Video 17

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

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

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

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

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

How to make variants be recursive, and how to parameterize them on other

Lists vs. Tuples vs. Records Textbook: https://cs3110.github.io/textbook.

In this

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

How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: https://cs3110.github.io/textbook.

if-then-else` expressions. Textbook: https://cs3110.github.io/textbook.

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

OCaml

Formal syntax and semantics of

let` expressions Textbook: https://cs3110.github.io/textbook.

How `let` expressions create scope and shadowing. Textbook: https://cs3110.github.io/textbook.

How to implement a function that counts up with every invocation, using references Textbook: https://cs3110.github.io/textbook.

And it'll output 24 so you can always change these so if you're familiar with any other

Written version: http://blog.rockthejvm.com/