type constructor - Definition. Was ist type constructor
Diclib.com
Online-Wörterbuch

Was (wer) ist type constructor - definition


Type constructor         
FEATURE OF A TYPED FORMAL LANGUAGE THAT BUILDS NEW TYPES FROM OLD ONES
Type constructors; Type operator; Higher-order type operator
In the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors.
Constructor (object-oriented programming)         
SPECIAL METHOD USED FOR INITIALIZING A NEWLY ALLOCATED OBJECT IN OBJECT-ORIENTED PROGRAMMING
Ctor; Constructor function; Constructor (programming); Constructor (computing); CTOR; Constructor (computer science); Move constructor; Instance constructor; Static constructor; .ctor; .cctor; Copy constructor; Comparison of programming languages (OOP, constructors)
In class-based, object-oriented programming, a constructor (abbreviation: ctor) is a special type of subroutine called to create an object. It prepares the new object for use, often accepting arguments that the constructor uses to set required member variables.
constructor         
WIKIMEDIA DISAMBIGUATION PAGE
Constructor (disambiguation); Constructors
n.
Builder.