Media Summary: A deep dive into implementing lists with mutable fields Textbook: How to implement a function that counts up with every invocation, using The fields of records can be marked as mutable, providing an alternative to
Refs Ocaml Programming Chapter 7 Video 1 - Detailed Analysis & Overview
A deep dive into implementing lists with mutable fields Textbook: How to implement a function that counts up with every invocation, using The fields of records can be marked as mutable, providing an alternative to The second part of a deep dive into implementing lists with mutable fields. Textbook: How to raise exceptions, which are really variants. Textbook: How to implement a Map ADT with association lists as the rep type Textbook:
A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... What looks like mutability in the toplevel is not -- it's really just a consequence of scope. Textbook: ...
