Media Summary: The other key piece of documentation an implementer needs to provide is the representation invariant, which clarifies which ... Bisect is a tool for automated glass-box testing and statement coverage of What information should documentation provide vs reveal? Good specifications
Implementing Abstraction Functions Ocaml Programming Chapter 6 Video 8 - Detailed Analysis & Overview
The other key piece of documentation an implementer needs to provide is the representation invariant, which clarifies which ... Bisect is a tool for automated glass-box testing and statement coverage of What information should documentation provide vs reveal? Good specifications Examples of pattern matching with lists, records, and tuples. Textbook: "Bugs" are not the best term for thinking about errors in programs. "Faults" and "failures" are better. Textbook: ... Debugging is a dirty job, but you've gotta do it. Here are some tips. Textbook:
The fields of records can be marked as mutable, providing an alternative to refs. In fact, refs are A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ...
