| 
|
Quote: a data type may partition a domain (disjoint) or use a predicate (overlapping sets)
topics >
all references >
references c-d >
Group:
data type
Topic:
data type as a set of values
Topic:
non-exclusive data type
Topic:
restricted and extended types
Topic:
primitive data types for Thesa
Quotation Skeleton
There are two basic paradigms for subdividing a … In a partition type system, every data value … point of view. In a predicate type system … a data value can belong to many different … languages (e.g., APL, LISP) subscribe to this approach. … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: a predicate type system allows multiple types for a value; used in interactive languages such as Lisp Quote: a partition type system allows one type for a value; used in most production programming systems such as C and FORTRAN
Group: data type (34 topics, 723 quotes)
Topic: data type as a set of values (20 items)
Topic: non-exclusive data type (16 items)
Topic: restricted and extended types (34 items)
Topic: primitive data types for Thesa (82 items)