Media Summary: How to implement a function that counts up with every invocation, using A deep dive into implementing lists with mutable fields Textbook: The fields of records can be marked as mutable, providing an alternative to
Refs Ocaml Programming Chapter 7 - Detailed Analysis & Overview
How to implement a function that counts up with every invocation, using A deep dive into implementing lists with mutable fields Textbook: The fields of records can be marked as mutable, providing an alternative to 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:
The second part of a deep dive into implementing lists with mutable fields. Textbook: HM type inference of `let` expressions led to type schemes, which enabled polymorphism. Add mutability, though, could lead to a ...
