Exceptions Ocaml Programming Chapter 3 Video 21

Summary

Additional static checks performed by the compiler on pattern matches: exhaustiveness and unused branches. Textbook: ... The `option` type, which represents optional data. It's a principled way to avoid the plague of `null`. Textbook: ... The formal syntax and semantics of variants. Textbook: cs3110.github.io/textbook. My web page: imperial.ac.uk/people/n.sadawi Useful links: ... Examples of variants, which along with records are the primary kind of user-defined data types in How to define a type for binary trees using variants. Textbook: cs3110.github.io/textbook. More about records vs. variants, and how variants can combine "one of" vs "each of" data. Textbook: ... An extended example of developing an ADT. Textbook: cs3110.github.io/textbook. The resize portion of an insert operation takes worst-case linear time, but *amortized* constant time. That analysis requires a ...