Media Summary: More about records vs. variants, and how variants can combine "one of" vs "each of" An extended example of developing an ADT. Textbook: Using pattern matching to access the pieces of a variant. Textbook:
Algebraic Data Types Ocaml Programming Chapter 3 Video 17 - Detailed Analysis & Overview
More about records vs. variants, and how variants can combine "one of" vs "each of" An extended example of developing an ADT. Textbook: Using pattern matching to access the pieces of a variant. Textbook: How to make variants be recursive, and how to parameterize them on other The formal syntax and semantics of variants. Textbook: Examples of pattern matching with lists, records, and tuples. Textbook:
How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: The formal syntax and semantics of pattern matching. Textbook: Examples of variants, which along with records are the primary kind of user-defined How to implement a function that counts up with every invocation, using references Textbook: How to define the substitution operation for simple expressions, including `if` and `let` Textbook: How `let` expressions create scope and shadowing. Textbook:
A comparison of the cons `::` and append `@` operators. Textbook:
