Topic: user-defined data type

topics > computer science > data > data type > Group: derived data types

abstract data type
data type as a set of operations
data record
interface type
object-oriented data types
restricted and extended types
types of object-oriented classes
user-defined languages
variable as function that accesses an object's value


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: advantages up

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: template type up

Quote: to define vectors: vector is distinct from vector, constructed by a library, with v[i], and destruction when done [»koenA12_1995]

Subtopic: type attribute up

Quote: System.Attribute is an arbitrary type associated with an object; extends metadata, e.g., 'const' [»hamiJ2_2003]

Subtopic: type generation up

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))

Related Topics up

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)

Updated barberCB 3/05
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.