About: Type constructor

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Feature of a typed formal language that builds new types from old ones

Property	Value
dbo:description	особливість типізованої формальної мови, що створює нові типи зі старих (uk) feature of a typed formal language that builds new types from old ones (en) funktion i formalsprog, der konstruerer nye typer ud fra fra gamle (da)
dbo:wikiPageWikiLink	dbr:Currying dbr:System_F dbr:Type_theory dbr:Typed_lambda_calculus dbr:Function_type dbr:Formal_language dbr:Algebraic_data_type dbr:Product_type dbr:Recursive_data_type dbr:Computer_science dbc:Type_theory dbr:Mathematical_logic dbr:Simply_typed_lambda_calculus dbr:Lambda_cube dbr:Kind_(type_theory) dbr:Nullary dbr:Basic_type dbr:P.T._Johnstone dbr:List_type dbr:System_F-omega dbr:Simply_typed_λ-calculus
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Data_types dbt:Refend dbt:Refbegin dbt:Short_description
dct:subject	dbc:Type_theory
rdfs:label	Type constructor (en) Κατασκευαστής τύπων (el) Конструктор типов (ru) Конструктор типу (uk) 型別構造器 (zh)
owl:sameAs	freebase:Type constructor wikidata:Type constructor dbpedia-zh:Type constructor dbpedia-ru:Type constructor dbpedia-el:Type constructor dbpedia-uk:Type constructor dbpedia-global:Type constructor
prov:wasDerivedFrom	wikipedia-en:Type_constructor?oldid=1170555323&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Type_constructor
is dbo:wikiPageRedirects of	dbr:Higher-order_type_operator dbr:Type_constructors dbr:Type_operator
is dbo:wikiPageWikiLink of	dbr:Currying dbr:Monad_(functional_programming) dbr:Monoidal_category dbr:Map_(higher-order_function) dbr:Type_family dbr:Type_theory dbr:Typed_lambda_calculus dbr:Function_type dbr:Link_grammar dbr:OpenCog dbr:Data_type dbr:Covariance_and_contravariance_(computer_science) dbr:Tagged_union dbr:Simply_typed_lambda_calculus dbr:Haxe dbr:Lambda_cube dbr:Arrow_(computer_science) dbr:Kind_(type_theory) dbr:System_U dbr:Higher-order_type_operator dbr:Type_constructors dbr:Type_operator
is foaf:primaryTopic of	wikipedia-en:Type_constructor