Media Summary: Additional static checks performed by the compiler on pattern matches: exhaustiveness and unused branches. Textbook: ... A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... The `option` type, which represents optional data. It's a principled way to avoid the plague of `null`. Textbook: ...
Exceptions Ocaml Programming Chapter 3 Video 21 - Detailed Analysis & Overview
Additional static checks performed by the compiler on pattern matches: exhaustiveness and unused branches. Textbook: ... A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... The `option` type, which represents optional data. It's a principled way to avoid the plague of `null`. 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 pattern matching. Textbook:
More about using pattern matching with variants. Textbook: How to define a type for binary trees using variants. Textbook:
