Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Unit_type> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- Unit_type abstract "In the area of mathematical logic and computer science known as type theory, a unit type is a type that allows only one value (and thus can hold no information). The carrier (underlying set) associated with a unit type can be any singleton set. There is an isomorphism between any two such sets, so it is customary to talk about the unit type and ignore the details of its value. One may also regard the unit type as the type of 0-tuples, i.e. the product of no types.The unit type is the terminal object in the category of types and typed functions. It should not be confused with the zero or bottom type, which allows no values and is the initial object in this category.The unit type is implemented in most functional programming languages. The void type that is used in some imperative programming languages serves some of its functions, but because its carrier set is empty, there are some limitations (as detailed below).".
- Unit_type wikiPageID "3646268".
- Unit_type wikiPageRevisionID "569291064".
- Unit_type hasPhotoCollection Unit_type.
- Unit_type id "unit+type".
- Unit_type title "unit type".
- Unit_type subject Category:Data_types.
- Unit_type subject Category:Type_theory.
- Unit_type comment "In the area of mathematical logic and computer science known as type theory, a unit type is a type that allows only one value (and thus can hold no information). The carrier (underlying set) associated with a unit type can be any singleton set. There is an isomorphism between any two such sets, so it is customary to talk about the unit type and ignore the details of its value. One may also regard the unit type as the type of 0-tuples, i.e.".
- Unit_type label "Einheitstyp".
- Unit_type label "Type unité".
- Unit_type label "Unit type".
- Unit_type sameAs Einheitstyp.
- Unit_type sameAs Type_unité.
- Unit_type sameAs m.09r_tj.
- Unit_type sameAs Q1307872.
- Unit_type sameAs Q1307872.
- Unit_type wasDerivedFrom Unit_type?oldid=569291064.
- Unit_type isPrimaryTopicOf Unit_type.