Media Summary: How to define some common operators for function application, including the pipeline operator Textbook: ... How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: More about records vs. variants, and how variants can combine "one of" vs "each of" data. Textbook: ...
Pattern Matching Ocaml Programming Chapter - Detailed Analysis & Overview
How to define some common operators for function application, including the pipeline operator Textbook: ... How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: More about records vs. variants, and how variants can combine "one of" vs "each of" data. Textbook: ... How to make variants be recursive, and how to parameterize them on other types. Textbook: Achieving polymorphism for `let` expressions in HM type inference leads to "type schemes", which universally quantify over type ... Additional static checks performed by the compiler on
Defining module types with signatures Textbook: The `function` keyword provides helpful syntactic sugar for
