| 
|
Topic: user-defined data type
topics >
computer science >
data >
data type >
abstract data type
Topic:
data type as a set of operations
Topic:
data record
Topic:
interface type
Topic:
object-oriented data types
Topic:
restricted and extended types
Topic:
types of object-oriented classes
Topic:
user-defined languages
Topic:
variable as function that accesses an object's value
Summary
Type definition may specify the type's storage requirements, internal representation, components, default value, allowable operations, and type conversions. The definition may use composite structures, primitive types, procedure definitions, or macros for latter expansion. (cbb 5/80)
Subtopic: template type
Quote: with user-defined data types, programs are shorter; easier to write, understand, prove correct, modify [»parnDL3_1976] Quote: user-defined data types improve data portability between systems; helps reduce the amount of program rewriting [»parnDL3_1976] Quote: constructing a new type in Sketchpad is a finite, well-defined task; construct a generic block of 20 registers and the corresponding subroutines Quote: a fixed set of type abstractions is not sufficient, need application-domain-specific types [»guttJV_2002]
Subtopic: type attribute
Quote: to define vectors: vector is distinct from vector , constructed by a library, with v[i], and destruction when done [»koenA12_1995]
Subtopic: type generation
Quote: System.Attribute is an arbitrary type associated with an object; extends metadata, e.g., 'const' [»hamiJ2_2003]
Quote: a scheme is a parameterized operation definition that defines a new abstract data type Quote: EL1 included parameterized mode generation routines for defining new data types [»wegbB_1971, OK] Quote: create a type as a macro which defines macros for operations and variables for internal state [»schuSA_1970, OK] Quote: with type, declare predicates for testing type states, e.g., c = UPPERCASE [»hendP9_1975] QuoteRef: demeA3_1979 ;;42 "Several builtin typeschemes are provided in Russell. These include arrays, references, subranges, unions and files. QuoteRef: kiebRB9_1973 ;;2.2 "Composite types are formed from simple types and from the symbol ->, used to indicate a reduction rule, or function on types." parens are used to indicate scope QuoteRef: kiebRB9_1973 ;;2.4 user defined types may be given names and grouped into records eg list element by L: ((-> r), (-> L))
Topic: abstract data type (64 items)
Topic: data type as a set of operations (38 items)
Topic: data record (57 items)
Topic: interface type (50 items)
Topic: object-oriented data types (29 items)
Topic: restricted and extended types (35 items)
Topic: types of object-oriented classes (18 items)
Topic: user-defined languages (42 items)
Topic: variable as function that accesses an object's value
(21 items)