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: Examples of pattern matching with lists, records, and tuples. 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: Examples of pattern matching with lists, records, and tuples. Textbook: My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ... The formal syntax and semantics of variants. 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 In this tutorial, I will show the basic ideas of immutable lists (cons lists), as well as polymorphic functions that operate over lists. 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:
