Reading 12: Defining ADTs with Interfaces, Generics, Enums, and Functions
We also discuss subtyping as a relationship between two types determined by their specs, and distinguish it from subclassing, which involves reps as well.
Reading 12: Defining ADTs with Interfaces, Generics, Enums, and Functions Reading 12: Defining ADTs with Interfaces, Generics, Enums, and Functions TypeScript Tutor exercises Keep making progress on TypeScript by completing this category in the TypeScript Tutor: ✓ Interfaces, Enums, Nested 2/2 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 Today’s class is about various ways to implement abstract
Explore this link on the map →related reading
- Reading 8: Defining ADTs with Interfaces, Generics, Enums, and Functionsweb.mit.edu
- Reading 10: Abstract Data Typesweb.mit.edu
- Reading 6: Abstract Data Typesweb.mit.edu
- Defining Shared Behavior with Traits - The Rust Programming Languagedoc.rust-lang.org
- Reading 11: Recursive Data Typesweb.mit.edu
- TypeScript: Documentation - Genericstypescriptlang.org
- TypeScript: Documentation - Classestypescriptlang.org
- Generic Data Types - The Rust Programming Languagedoc.rust-lang.org
- TypeScript: Documentation - TypeScript 3.7typescriptlang.org
- TypeScript: Documentation - Object Typestypescriptlang.org
- Reading 11: Abstraction Functions & Rep Invariantsweb.mit.edu
- Reading 17: Recursive Data Typesweb.mit.edu