Refs Ocaml Programming Chapter 7 Video 1 - Detailed Analysis
A deep dive into implementing lists with mutable fields Textbook: How to implement a function that counts up with every invocation, using The second part of a deep dive into implementing lists with mutable fields. Textbook: The fields of records can be marked as mutable, providing an alternative to The other key piece of documentation an implementer needs to provide is the representation invariant, which clarifies which ... How to use the ideas of `map` and `fold` functionals with binary trees. Textbook:
Functions can take other functions as input and return them as output, making them "higher order". Textbook: ... How to raise exceptions, which are really variants. Textbook: A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... Examples of pattern matching with lists, records, and tuples. Textbook: How to implement a Map ADT with association lists as the rep type Textbook: How to handle exceptions with `try` and pattern matching. Textbook:
Photo Gallery
