Map
Index
Random
Help
Quotes
Subtopics
Referenced
th

QuoteRef: rodrNR8_1993

all references > ThesaHelp: references p-r


--topics--
type inheritance
data type as a set of operations
data type as a set of operations
data type as a set of operations
data types are not needed
interface type
interface type
problems with type inheritance
restricted and extended types
structural equivalence vs. name equivalence of data types
structural equivalence vs. name equivalence of data types
type parameter

--subtopics--
data type as operations
different types with same operations
distinguished types via properties/interface
interface as operations
isa or concept-oriented inheritance
no types
properties
schemes, traits, and events
type as operations
type as use
type parameter as interface
type properties, traits, modes

--referenced--
ACM references m-z

Reference

Rodriguez, N. de La Rocque, Ierusalimschy, R., Rangel, J.L., "Types in School," ACM SIGPLAN Notices, 28.8, August 1993, p. 81-89

Quotes up

81 ;;Quote: the type of an object is its operations; a type error occurs when an object does not have a method for a message
81+;;Quote: the type of an object is its external interface, while the class of an object is its implementation
83 ;;Quote: A is a subtype of B if it can be used wherever B is used; A is a subclass of B if it inherits methods and variables
84 ;;Quote: use properties to distinguish types that have the same operations; e.g., the property 'LIFO' for type 'stack'; simulate with dummy functions
86 ;;Quote: use a 'where' clause to specify a type parameter; defines the required operations for conforming types
89 ;;Quote: the formal and operational definitions of School do not refer to types; type checking is only for avoiding type errors at run-time

Collected barberCB 8/97 filed
Copyright © 2002-2023 by C.B. Barber
Thesa, Avev, and thid-... are trademarks of C.B. Barber