Options Ocaml Programming Chapter 3 Video 20

Summary

How to make variants be recursive, and how to parameterize them on other types. Textbook: cs3110.github.io/textbook. How to raise exceptions, which are really variants. Textbook: cs3110.github.io/textbook. The formal syntax and semantics of lists. Textbook: cs3110.github.io/textbook. Examples of variants, which along with records are the primary kind of user-defined data types in How to handle exceptions with `try` and pattern matching. Textbook: cs3110.github.io/textbook. More about using pattern matching with variants. Textbook: cs3110.github.io/textbook. The `function` keyword provides helpful syntactic sugar for pattern matching. Textbook: cs3110.github.io/textbook. An extended example of developing an ADT. Textbook: cs3110.github.io/textbook. if-then-else` expressions. Textbook: cs3110.github.io/textbook. More about records vs. variants, and how variants can combine "one of" vs "each of" data. Textbook: ...