Quick Overview: More about records vs. variants, and how variants can combine "one of" vs "each of" data. Textbook: ... Defining a persistent stack data structure as an How to make variants be recursive, and how to parameterize them on other
Function Types Ocaml Programming Chapter - Detailed Overview & Context
More about records vs. variants, and how variants can combine "one of" vs "each of" data. Textbook: ... Defining a persistent stack data structure as an How to make variants be recursive, and how to parameterize them on other How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: How to design the equations in an algebraic specification based on the
