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 ★
Comum · Saberes
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.
Na Wikipédia
Texto em inglês Ainda não há artigo no seu idioma: trecho em inglês.
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.
Texto: Wikipédia em inglês, CC BY-SA 4.0. ·
Cartas próximas
-
s
static typing
Type system paradigm where all type checking is done at compile time
Nº Q1940914 ★★
Sem ofertas
-
d
dynamic typing
Type system paradigm in which objects' types are enforced at runtime
Nº Q1268978 ★★★
Sem ofertas
-
Teoria dos tipos
Nº Q1056428 ★★
Sem ofertas
-
Tipo de dado
Nº Q190087 ★★
Sem ofertas
-
U
Unit type
Type allowing only one value in type theory
Nº Q1307872 ★★
Sem ofertas
-
C
Catraca (símbolo)
Nº Q7856108 ★
Sem ofertas