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: How to make variants be recursive, and how to parameterize them on other
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: How to make variants be recursive, and how to parameterize them on other Examples of pattern matching with lists, records, and tuples. Textbook: Using pattern matching to access the pieces of a variant. Textbook: The formal syntax and semantics of variants. Textbook:
Examples of variants, which along with records are the primary kind of user-defined A comparison of the cons `::` and append `@` operators. Textbook:
