Group:
derived data types
Topic:
hierarchical structures
Topic:
inheritance of properties
Topic:
namespace
Topic:
non-hierarchical classification and multiple classification
Topic:
object-oriented data types
Topic:
object-oriented design
Topic:
problems with type inheritance
Topic:
restricted and extended types
Topic:
taxonomy
Topic:
type conversion
Topic:
type inheritance as reuse
| |
Summary
Type inheritance defines a type hierarchy. Subclasses of a type can be used wherever the type is used. (cbb 4/01)
Subtopic: root of type hierarchy 
| Quote: every Smalltalk class, except Object, has a superclass [»xlrg8_1981]
| | Quote: 'void*' is the root of the tree of class conversions; it is used if no other function matches a "more derived" class [»stroB_1994]
| | Quote: Sketchpad is organized into a Universe of Variables, Holders, Constraints, and Types; the later includes Lines, Circles, and Pictures [»suthIE5_1963]
|
Subtopic: type hierarchy from base classes
| Quote: a node class belongs to a type hierarchy. It provides an interface and services. It relies on base classes [»stroB_1991]
|
Subtopic: clusters, library, namespace, taxonomy
| Quote: should gather object classes into clusters or libraries; limit cycles in the client relation to a cluster [»meyeB9_1990]
| | Quote: Eiffel's Data Structure Library defines a taxonomy for data structures by access method, traversing, and storage; e.g., CONTAINER class [»meyeB9_1990]
|
Subtopic: prototype inheritance
| Quote: prototype descriptions are related via hierarchies with different degrees of abstraction
| | Quote: Kevo uses family resemblance instead of explicitly sharing object representations [»taivA11_1997]
|
Subtopic: hierarchy as derived class
| Quote: use derived classes to express hierarchical relationships; i.e., commonality between classes
|
Subtopic: subtypes as entity type
| Quote: entities of a subtype of an entity type are necessarily entities of the parent type
|
Subtopic: single inheritance
| Quote: a entity type has a name, super type or symbol type [»kentW1_1984]
| | Quote: DELTA defines a hierarchy of objects; objects can not exist without their parent existing [»handP_1981]
|
Subtopic: class vs. instance
| Quote: there is no semantic difference between class and instance messages; distinction is for organization [»xlrg8_1981]
| | Quote: a Smalltalk metaclass describes a class; a class's instance variables describes an instance; 'new' creates a new instance [»xlrg8_1981]
|
Subtopic: dynamic vs. static type
| Quote: an entity is declared with a static type and associated with a dynamic type at runtime; all dynamic types must be descendants
|
Subtopic: import, export
| Quote: Oberon's modules form an import/export hierarchy; no distinction between operating system and applications [»wirtN9_1989]
|
Subtopic: 'type' as a type
| Quote: the type 'type' is a type; it is an instance of itself
|
Subtopic: subtype implementation
Quote: subtype testing via PQ-trees; small footprint, constant time; originally used in constraint ordering
[»zibiY10_2001]
|
Related Topics
Group: derived data types (9 topics, 119 quotes)
Topic: hierarchical structures (46 items)
Topic: inheritance of properties (24 items)
Topic: namespace (19 items)
Topic: non-hierarchical classification and multiple classification (16 items)
Topic: object-oriented data types (29 items)
Topic: object-oriented design (30 items)
Topic: problems with type inheritance (20 items)
Topic: restricted and extended types (35 items)
Topic: taxonomy (16 items)
Topic: type conversion (33 items)
Topic: type inheritance as reuse
(27 items)
|
