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.
Attributes | Values |
---|
rdfs:label
| - Einheitstyp (de)
- Type unité (fr)
- Unit type (en)
- 单值类型 (zh)
|
rdfs:comment
| - 在数理逻辑、计算机科学和类型论中,单值类型(unit type)是只允许1个值的数据类型。单值类型的基础集(underlying set)是单元素集合。由于任何2个单元素集合同构,因而习惯称“这个单值集合”( the unit type),不必考虑具体的值是什么。也可以把单值类型视作0-元组,如无类型的积。 单值类型是范畴论中类型和有类型函数的终对象,不应与 zero或混淆。后两者允许no值,是范畴的始对象。类似的,布尔类型是有2个值的类型。 大多数函数式编程语言都实现了单值类型。一些指令式语言使用void类型,但其取值为空集,还是有所不同。 (zh)
- Mit Einheitstyp (englisch unit type) 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 (Kategorientheorie) über (Haskell) bis Unit (z. B. Scala) 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). (de)
- 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-uplet, c’est-à-dire un produit cartésien de zéro type. (fr)
- 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. (en)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
id
| |
title
| |
has abstract
| - Mit Einheitstyp (englisch unit type) 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 (Kategorientheorie) über (Haskell) bis Unit (z. B. Scala) 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 . (de)
- 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-uplet, c’est-à-dire un produit cartésien de zéro 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 aucune valeur et est l'objet initial de ces catégories. (fr)
- 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. Similarly, the Boolean is the type with two values. 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, it has some limitations (as detailed below). (en)
- 在数理逻辑、计算机科学和类型论中,单值类型(unit type)是只允许1个值的数据类型。单值类型的基础集(underlying set)是单元素集合。由于任何2个单元素集合同构,因而习惯称“这个单值集合”( the unit type),不必考虑具体的值是什么。也可以把单值类型视作0-元组,如无类型的积。 单值类型是范畴论中类型和有类型函数的终对象,不应与 zero或混淆。后两者允许no值,是范畴的始对象。类似的,布尔类型是有2个值的类型。 大多数函数式编程语言都实现了单值类型。一些指令式语言使用void类型,但其取值为空集,还是有所不同。 (zh)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |