Bottom type
Type that is the subtype of all other types; equivalent to the empty type if uninhabited
In type theory, a theory within mathematical logic, the bottom type of a type system is the type that is a subtype of all other types. Where such a type exists, it is often represented with the up tack (⊥) symbol.
Nº Q3546108 ★
Common · Knowledge
Bottom type
Type that is the subtype of all other types; equivalent to the empty type if uninhabited
In type theory, a theory within mathematical logic, the bottom type of a type system is the type that is a subtype of all other types. Where such a type exists, it is often represented with the up tack (⊥) symbol.
From Wikipedia
In type theory, a theory within mathematical logic, the bottom type of a type system is the type that is a subtype of all other types. Where such a type exists, it is often represented with the up tack (⊥) symbol.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
s
static typing
Type system paradigm where all type checking is done at compile time
Nº Q1940914 ★★
Not listed
-
d
dynamic typing
Type system paradigm in which objects' types are enforced at runtime
Nº Q1268978 ★★★
Not listed
-
Type theory
Study of type systems in mathematical logic and computer science
Nº Q1056428 ★★
Not listed
-
Data type
Classification of data in computer science
Nº Q190087 ★★
Not listed
-
U
Unit type
Type allowing only one value in type theory
Nº Q1307872 ★★
Not listed
-
T
Turnstile (symbol)
Mathematical symbol
Nº Q7856108 ★
Not listed