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.
| Property | Value |
|---|
| dbpedia-owl:abstract
|
- Mit Einheitstyp bezeichnet man in der Typtheorie und Informatik denjenigen Typ, der lediglich einen einzigen Wert besitzt. Die Bezeichnungen des Typs reichen je nach Anwendungsgebiet von 1 über bis Unit und void (C und Abkömmlinge; hier ist die Entsprechung jedoch nicht vollständig, da void nicht überall dort verwendet werden kann, wo ein Typ erforderlich ist, und weil Literale fehlen). Da es lediglich einen Wert gibt, trägt dieser keine Information mit sich. Falls es notwendig ist, den Wert zu benennen, geschieht dies oft als 0-Tupel,, oder mit einem nicht anderweitig benutzten Symbol wie .
- 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).
- Un type unité est un type mathématique avec une seule valeur. L'ensemble associé avec le type unité peut être n'importe quel ensemble singleton. Il y a un isomorphisme entre deux tels ensembles, donc on parle souvent "du" type unité et on ignore les détails de cette valeur. On peut aussi considérer le type unité comme un 0-uple, c’est-à-dire un produit cartésien avec 0 type. En théorie des catégories, le type unité est un objet terminal dans beaucoup de catégories basées sur les ensembles. Le type unité ne doit pas être confondu avec le zéro ou type vide, qui ne contient pas de valeur et est l'objet initial de ces catégories.
|
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Mit Einheitstyp bezeichnet man in der Typtheorie und Informatik denjenigen Typ, der lediglich einen einzigen Wert besitzt. Die Bezeichnungen des Typs reichen je nach Anwendungsgebiet von 1 über bis Unit und void (C und Abkömmlinge; hier ist die Entsprechung jedoch nicht vollständig, da void nicht überall dort verwendet werden kann, wo ein Typ erforderlich ist, und weil Literale fehlen). Da es lediglich einen Wert gibt, trägt dieser keine Information mit sich.
- 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.
- Un type unité est un type mathématique avec une seule valeur. L'ensemble associé avec le type unité peut être n'importe quel ensemble singleton. Il y a un isomorphisme entre deux tels ensembles, donc on parle souvent "du" type unité et on ignore les détails de cette valeur. On peut aussi considérer le type unité comme un 0-uple, c’est-à-dire un produit cartésien avec 0 type. En théorie des catégories, le type unité est un objet terminal dans beaucoup de catégories basées sur les ensembles.
|
| rdfs:label
|
- Einheitstyp
- Type unité
- Unit type
|
| owl:sameAs
| |
| foaf:page
| |
| is dbpedia-owl:wikiPageDisambiguates
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
