About: Unit type

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

Type allowing only one value in type theory

Property	Value
dbo:description	datový typ obsahující jedinou možnou hodnotu (cs) type allowing only one value in type theory (en) tüübiteoorias tüüp, millel on ainult üks liige (et)
dbo:wikiPageWikiLink	dbr:Side_effect_(computer_science) dbr:Functional_programming dbr:Category_theory dbr:C++ dbr:C_Sharp_(programming_language) dbr:Standard_ML dbr:F_Sharp_(programming_language) dbr:Singleton_pattern dbr:Kotlin_(programming_language) dbr:Types_and_Programming_Languages dbr:D_(programming_language) dbr:Boolean_data_type dbr:Type_theory dbr:MIT_Press dbc:Articles_with_example_Java_code dbr:JavaScript dbr:Java_(programming_language) dbr:PHP dbr:OCaml dbc:Data_types dbr:Programming_language dbr:Isomorphism dbr:Rust_(programming_language) dbr:Data_type dbr:C_(programming_language) dbr:Computer_science dbr:Go_(programming_language) dbr:Associative_array dbr:Pascal_(programming_language) dbc:Type_theory dbr:Generic_programming dbr:Ruby_(programming_language) dbr:Mathematical_logic dbr:Common_Lisp dbr:Scala_(programming_language) dbr:Tuple dbr:Void_type dbr:Product_(category_theory) dbr:ML_(programming_language) dbr:Computer_programming dbr:Python_(programming_language) dbr:Bottom_type dbr:Function_(computer_science) dbr:Record_(computer_science) dbr:Elm_(programming_language) dbr:Haskell_(programming_language) dbr:Swift_(programming_language) dbr:Set_(computer_science) dbr:Template_(programming) dbr:Terminal_object dbr:Initial_object dbr:Singleton_set
dbp:id	unit+type (en)
dbp:title	unit type (en)
dbp:wikiPageUsesTemplate	dbt:Nlab dbt:Cite_book dbt:Reflist dbt:Data_types dbt:About dbt:Mono dbt:Short_description
dct:subject	dbc:Articles_with_example_Java_code dbc:Data_types dbc:Type_theory
gold:hypernym	dbr:Type
rdfs:label	Unit type (en) Einheitstyp (de) Type unité (fr) 单值类型 (zh)
owl:sameAs	freebase:Unit type wikidata:Unit type dbpedia-de:Unit type dbpedia-fr:Unit type dbpedia-zh:Unit type dbpedia-global:Unit type
prov:wasDerivedFrom	wikipedia-en:Unit_type?oldid=1292892491&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Unit_type
is dbo:wikiPageDisambiguates of	dbr:Unit
is dbo:wikiPageWikiLink of	dbr:Kappa_calculus dbr:Enumerated_type dbr:Standard_ML dbr:Intuitionistic_type_theory dbr:Mu_(letter) dbr:Entry_point dbr:Type_theory dbr:(_)_(disambiguation) dbr:Assignment_(computer_science) dbr:Parameter_(computer_programming) dbr:Top_type dbr:Product_type dbr:Rust_(programming_language) dbr:Recursive_data_type dbr:Nullable_type dbr:Unit dbr:Tagged_union dbr:Tuple dbr:Void_type dbr:Set_(abstract_data_type) dbr:Value_restriction dbr:Named_parameter dbr:Option_type dbr:Curry–Howard_correspondence dbr:Bottom_type
is foaf:primaryTopic of	wikipedia-en:Unit_type