Media Summary: What looks like mutability in the toplevel is not -- it's really just a consequence of A template for function specifications Textbook: A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ...
Variable Expressions And Scope Ocaml Programming Chapter 2 Video 6 - Detailed Analysis & Overview
What looks like mutability in the toplevel is not -- it's really just a consequence of A template for function specifications Textbook: A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... Drilling down into the parts of a function specification: preconditions, postconditions, examples. Textbook: ... Applying functions to arguments. Textbook: Application of functions to "too few" of arguments, and syntactic sugar. Textbook:
