Unit type
Type allowing only one value in type theory
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.
Nº Q1307872 ★★
Uncommon · Knowledge
Unit type
Type allowing only one value in type theory
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.
From Wikipedia
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 empty 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).
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
D
Dependent type
Data type whose definition depends on a value
Nº Q997433 ★★
Not listed
-
V
Void type
In programming languages, a keyword indicating the absence of data
Nº Q513000 ★
Not listed
-
Monomial
Polynomial which has only one term
Nº Q243723 ★★★
Not listed
-
B
Bottom type
Type that is the subtype of all other types; equivalent to the empty type if uninhabited
Nº Q3546108 ★
Not listed
-
Bit
Basic unit of information in computing and digital communications
Nº Q8805 ★★★
Not listed
-
False (logic)
Truth value
Nº Q5432619 ★
Not listed