Reading 15: Equality
In the previous readings we’ve developed a rigorous notion of data abstraction by creating types that are characterized by their operations, not by their representation. For an abstract data type, the abstraction function explains how to interpret a concrete representation value as a value of the abstract type, and we saw how the choice of abstraction function determines how to write the code implementing each of the ADT’s operations.
Reading 15: Equality Reading 15: Equality TypeScript Tutor exercises Keep making progress on TypeScript by completing this category in the TypeScript Tutor: ✓ Object 1/1 Software in 6.031 Safe from bugs Easy to understand Ready for change Correct today and correct in the unknown future. Communicating clearly with future programmers, including future you. Designed to accommodate change without rewriting. Objectives Understand the properties of an equivalence relation. Understand equality for immutable types defined in terms of the abstraction function and in terms of observation. Differentiate
Explore this link on the map →related reading
- Reading 10: Equalityweb.mit.edu
- Reading 11: Abstraction Functions & Rep Invariantsweb.mit.edu
- Reading 7: Abstraction Functions & Rep Invariantsweb.mit.edu
- Reading 10: Abstract Data Typesweb.mit.edu
- Reading 6: Abstract Data Typesweb.mit.edu
- Reading 11: Recursive Data Typesweb.mit.edu
- Reading 17: Recursive Data Typesweb.mit.edu
- Reading 17: Recursive Data Typesweb.mit.edu
- Everything is Fertilenickcammarata.com
- Reading 12: Defining ADTs with Interfaces, Generics, Enums, and Functionsweb.mit.edu
- Problem Set 2: Cityscapeweb.mit.edu
- Reading 8: Defining ADTs with Interfaces, Generics, Enums, and Functionsweb.mit.edu