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 ★
Común · 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.
En Wikipedia
Texto en inglés Aún no hay artículo en tu idioma: extracto en 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: Wikipedia en inglés, CC BY-SA 4.0. ·
Cartas cercanas
-
t
tipado estático
Comprobación de tipos del programa se realiza durante la compilación
Nº Q1940914 ★★
Sin ofertas
-
T
Tipado dinámico
Un estilo de escritura dinámica en la programación orientada a objetos
Nº Q1268978 ★★★
Sin ofertas
-
Teoría de tipos
Nº Q1056428 ★★
Sin ofertas
-
Tipo de dato
Clasificación de datos en ciencias de la computación
Nº Q190087 ★★
Sin ofertas
-
U
Unit type
Type allowing only one value in type theory
Nº Q1307872 ★★
Sin ofertas
-
T
Torniquete (símbolo)
Símbolo matemático
Nº Q7856108 ★
Sin ofertas