Media Summary: The syntax and semantics of ref cells Textbook: How to use the ideas of `map` and `fold` functionals with binary trees. Textbook: What looks like mutability in the toplevel is not -- it's really just a consequence of scope. Textbook: ...
Aliasing Ocaml Programming Chapter 7 Video 4 - Detailed Analysis & Overview
The syntax and semantics of ref cells Textbook: How to use the ideas of `map` and `fold` functionals with binary trees. Textbook: What looks like mutability in the toplevel is not -- it's really just a consequence of scope. Textbook: ... A deep dive into implementing lists with mutable fields Textbook: References, or ref cells, are pointers to typed locations in memory. They enable imperative 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 infer the type of `if` expressions in HM type inference Textbook: