Media Summary: My web page: www.imperial.ac.uk/people/n.sadawi. More about records vs. variants, and how variants can combine "one of" vs "each of" How to use the ideas of `map` and `fold` functionals with binary trees. Textbook:
Ocaml Data Structures 4 13 - Detailed Analysis & Overview
My web page: www.imperial.ac.uk/people/n.sadawi. More about records vs. variants, and how variants can combine "one of" vs "each of" How to use the ideas of `map` and `fold` functionals with binary trees. Textbook: Using pattern matching to access the pieces of a variant. Textbook: Type systems designed to track the side-effects of expressions have been around In this tutorial, I will show the basic ideas of immutable lists (cons lists), as well as polymorphic functions that operate over lists.
How to make variants be recursive, and how to parameterize them on other types. Textbook:
