1. In funCTIonal programming and {type theory}, one of the symbols used to create an object with an algebraic data type. 2. A funCTIon provided by a class in C++ and some other object-oriented languages to instantiate an object, i.e. to name it and initialise it. The constructor funCTIon has the same name as the class. A class may also have a destructor funCTIon to destroy objects of that class. (1994-10-20)