Record Syntax And Semantics Ocaml Programming Chapter 3 Video 5

Summary

How to make variants be recursive, and how to parameterize them on other types. Textbook: cs3110.github.io/textbook. Additional static checks performed by the compiler on pattern matches: exhaustiveness and unused branches. Textbook: ... Examples of variants, which along with The `option` type, which represents optional data. It's a principled way to avoid the plague of `null`. Textbook: ... How to define modules with structures Textbook: cs3110.github.io/textbook. A comparison of the cons `::` and append ` operators. Textbook: cs3110.github.io/textbook. How to raise exceptions, which are really variants. Textbook: cs3110.github.io/textbook. How to handle exceptions with `try` and pattern matching. Textbook: cs3110.github.io/textbook.