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: ... How to implement the `fold_left` and `fold_right` functionals on lists. Textbook:
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: ... How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: Additional static checks performed by the compiler on The `function` keyword provides helpful syntactic sugar for How to make variants be recursive, and how to parameterize them on other types. Textbook:
Structural induction can be used to prove the correctness of functions on lists Textbook: Structural induction can be used to prove the correctness of functions on trees Textbook: Modifying the parser and AST to incorporate type annotations on `let` bound variables Textbook: Defining a persistent stack data structure as an My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ...
