Media Summary: How to define some common operators for function application, including the pipeline operator Textbook: ... 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 Matching Ocaml Programming Chapter - Detailed Analysis & Overview
How to define some common operators for function application, including the pipeline operator Textbook: ... 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 How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: How to make variants be recursive, and how to parameterize them on other types. Textbook: The `function` keyword provides helpful syntactic sugar for
Structural induction can be used to prove the correctness of functions on lists Textbook: My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ... Functions can take other functions as input and return them as output, making them "higher order". Textbook: ... Structural induction can be used to prove the correctness of functions on trees Textbook: A comparison of the cons `::` and append `@` operators. Textbook:
