Media Summary: The syntax and semantics of ref cells Textbook: What looks like mutability in the toplevel is not -- it's really just a consequence of scope. Textbook: ... A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ...
Recursive Functions Ocaml Programming Chapter 2 Video 12 - Detailed Analysis & Overview
The syntax and semantics of ref cells Textbook: What looks like mutability in the toplevel is not -- it's really just a consequence of scope. Textbook: ... A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... How `let` expressions create scope and shadowing. Textbook: Additional static checks performed by the compiler on pattern matches: exhaustiveness and unused branches. Textbook: ...
