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. Typical type constructors encountered are product types, function types, power types and list types. Basic types are also considered (nullary) type constructors.
Refereces
- P.T. Johnstone, Sketches of an Elepahnt, p. 940
This programming language theory or type theory-related article is a stub. You can help Wikipedia by expanding it. |
