The Function Keyword Ocaml Programming Chapter 3 Video 9

Summary

Implementing the parsing of integer constants in the calculator interpreter. Textbook: cs3110.github.io/textbook. The formal syntax and semantics of lists. Textbook: cs3110.github.io/textbook. How to infer the type of anonymous How to make variants be recursive, and how to parameterize them on other types. Textbook: cs3110.github.io/textbook. The `option` type, which represents optional data. It's a principled way to avoid the plague of `null`. Textbook: ... Defining the type system for a simple language Textbook: cs3110.github.io/textbook. The environment-model semantics of More about records vs. variants, and how variants can combine "one of" vs "each of" data. Textbook: ... Additional static checks performed by the compiler on pattern matches: exhaustiveness and unused branches. Textbook: ...