Media Summary: The abstraction function is the key piece of documentation an implementer needs to write; it relates the implementer's view of the ... The other key piece of documentation an implementer needs to provide is the representation invariant, which clarifies which ... What information should documentation provide vs reveal? Good specifications
Abstract Types Ocaml Programming Chapter - Detailed Analysis & Overview
The abstraction function is the key piece of documentation an implementer needs to write; it relates the implementer's view of the ... The other key piece of documentation an implementer needs to provide is the representation invariant, which clarifies which ... What information should documentation provide vs reveal? Good specifications Specifying a data abstraction's interface — the client's perspective Textbook: Representation invariants can be implemented and used to The correctness of a data-abstraction operation can be understood using abstraction
More about records vs. variants, and how variants can combine "one of" vs "each of" data. Textbook: ... Defining a persistent stack data structure as an How to implement a function that counts up with every invocation, using references Textbook: Achieving polymorphism for `let` expressions in HM Using pattern matching to access the pieces of a variant. Textbook:
