Media Summary: The abstraction function is the key piece of documentation an implementer needs to write; it relates the implementer's view of the ... Specifying a data abstraction's interface — the client's perspective Textbook: 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 ... Specifying a data abstraction's interface — the client's perspective Textbook: What information should documentation provide vs reveal? Good specifications The correctness of a data-abstraction operation can be understood using abstraction The other key piece of documentation an implementer needs to provide is the representation invariant, which clarifies which ... Modifying the parser and AST to incorporate
Representation invariants can be implemented and used to 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 An extended example of developing an ADT. Textbook:
