first-class type in the design of a programming language. A type whose objects can take part in the full range of operations available within the language (such as declaration of constants and variables of the type in question, assignment of values, employment as fields of records and as elements of arrays, occurrence as parameters and return values of functions). The objects of a first-class type are first-class objects. For example, functions are first-class in Algol 68 but not in Algol 60, Pascal or Ada.
More From encyclopedia.com
Monotype , Monotype •gripe, hype, mistype, pipe, ripe, sipe, slype, snipe, stripe, swipe, tripe, type, wipe •guttersnipe • bagpipe • standpipe •tailpipe • drain… subtype , subtype A relationship between data types. Type T1 is a subtype of type T2 if the set of all possible values of T1 is a subset of the set of all poss… Type , type / tīp/ • n. 1. a category of people or things having common characteristics: this type of heather grows better in a drier habitat blood types. ∎… Object-oriented Programming , object-oriented programming (OOP) A programming technique that combines data abstraction, inheritance, and dynamic type binding. The central feature… Class Consciousness , class consciousness In the transition from a ‘class in itself’ (a category of people having a common relation to the means of production) to a ‘class… Gilbert-type Delta , Skip to main content Gilbert-type delta
About this article
Updated About encyclopedia.com content Print Article
You Might Also Like