Group: derived data types

topics > computer science > data > Group: data type

casting a variable to a different type
compressed data
enumerated data types
ordered data types
packed data
range data type
union data type
user-defined data type
variant data types
data structures
object-oriented programming
type declaration
type inheritance

object-oriented classes
restricted and extended types
set data type
type algebras, typed lambda calculus, and type-complete languages
type hierarchy


A data type may be components combined in a structure. Possible structures are taken from set combinations: records from cartesian products, arrays from self-product, unions from set union, functions from set mappings, sequences from ordered subsets. Operations may be defined on the structure without regard to the component types. (cbb 5/80)
Subtopic: container class up

Quote: a base class is commonly used for container classes such as set, vector, and list; the container may be homogeneous or heterogeneous

Subtopic: cartesian product, array, mapping, etc. up

Quote: define object types by arbitrarily nested records (f:t), sets {t}, bags {|t|}, lists [t], and variants ; natural mappings for bioinformatics databases [»wongL9_2000]
Quote: ESP supports record, union, and array data types; ESP does not support recursive data types; no model checker, more expensive to communicate [»kumaS6_2002]
Quote: constructing new type like deriving new sets by cartesian product, mappings, list, union, subset, superset [»nordB3_1976, OK]
QuoteRef: wegbB5_1974 ;;11 cartesian product of sets is a structure (by Struct), self-product of sets is an array (indefinite or fixed length, by Array), unionof sets is a union mode (oneof), mappings of sets is a routine (Proc) may t
QuoteRef: wirtN1_1971 ;;37 structures (arrays, records %variants, powerset %set of all subsets, file (ordered with current position
QuoteRef: wirtN7_1973 ;;3 arrays (same type, scalar indexed), record (labeled fields with variants sets (bit arrays), files (sequence of same type,) accessed by cursor)
QuoteRef: grayJC_1973 ;;169 combine (<') like restructure but takes a list of items, i.e., builds a compound item using a template.

Subtopic: implicit vs. explicit up

Quote: in database query languages, queries produce new, implicit types; in functional programming every type is explicit [»wongL9_2000]

Subtopic: as parameters up

Quote: use SAME to indicate derived types in method signatures [»fricA4_2000]

Subtopic: existence up

Quote: the existence of a weak entity type depends on the existence of other entities; e.g., the set of children for an employee

Group: derived data types up

Topic: casting a variable to a different type (7 items)
Topic: compressed data (16 items)
Topic: enumerated data types (17 items)
Topic: ordered data types (8 items)
Topic: packed data (11 items)
Topic: range data type (17 items)
Topic: union data type (12 items)
Topic: user-defined data type (13 items)
Topic: variant data types
(7 items)

Related Topics up

Group: data structures   (12 topics, 278 quotes)
Group: object-oriented programming   (26 topics, 822 quotes)
Group: type declaration   (5 topics, 110 quotes)
Group: type inheritance   (13 topics, 394 quotes)

Topic: object-oriented classes (67 items)
Topic: restricted and extended types (35 items)
Topic: set data type (16 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)
Topic: type hierarchy
(18 items)

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