Top type
In mathematical logic and computer science, some type theories and type systems include a top type that is commonly denoted with top or the symbol ⊤. The top type is sometimes called also universal type, or universal supertype as all other types in the type system of interest are subtypes of it, and in most cases, it contains every possible object of the type system. It is in contrast with the bottom type, or the universal subtype, which every other type is supertype of and it is often that the type contains no members at all.
Support in programming languages
Several typed programming languages provide explicit support for the top type.
In statically-typed languages, there are two different, often confused, concepts when discussing the top type.
- A universal base class or other item at the top of a runtime class hierarchy (often relevant in object-oriented programming) or type hierarchy; it is often possible to create objects with this (runtime) type, or it could be found when one examines the type hierarchy programmatically, in languages that support it
- A (compile time) static type in the code whose variables can be assigned any value (or a subset thereof, like any object pointer value), similar to dynamic typing
The first concept often implies the second, i.e., if a universal base class exists, then a variable that can point to an object of this class can also point to an object of any class. However, several languages have types in the second regard above (e.g., void *
in C++, id
in Objective-C, interface {}
in Go), static types which variables can accept any object value, but which do not reflect real runtime types that an object can have in the type system, so are not top types in the first regard.
In dynamically-typed languages, the second concept does not exist (any value can be assigned to any variable anyway), so only the first (class hierarchy) is discussed. This article tries to stay with the first concept when discussing top types, but also mention the second concept in languages where it is significant.
Name | Languages |
---|---|
Object | Smalltalk, JavaScript, Ruby (pre-1.9.2),[1] and some others. |
java.lang.Object | Java. Often written without the package prefix, as Object . Also, it is not a supertype of the primitive types; however, since Java 1.5, autoboxing allows implicit or explicit type conversion of a primitive value to Object , e.g., ((Object)42).toString() |
System.Object [2] | C#, Visual Basic (.NET), and other .NET framework languages |
std::any | C++ since C++17 |
object | Python since unifying type and class in version 2.2[3] (new-style objects only; old-style objects in 2.x lack this as a base class). A new typing module introduces type Any which is compatible with any type and vice versa |
TObject | Object Pascal |
t | Lisp, many dialects such as Common Lisp |
Any? | Kotlin[4] |
Any | Scala,[5] Swift,[6] Julia,[7] Python[8] |
ANY | Eiffel[9] |
UNIVERSAL | Perl 5 |
Variant | Visual Basic up to version 6, D[10] |
interface{} | Go |
BasicObject | Ruby (version 1.9.2 and beyond) |
any and unknown [11] | TypeScript (with unknown having been introduced in version 3.0[12]) |
mixed | PHP (as of version 8.0) |
The following object-oriented languages have no universal base class:
- C++. The pointer to void type can accept any non-function pointer, even though the void type is not the universal type but the unit type. Since C++17, the standard library provides the top type
std::any
. - Objective-C. It is possible to create a new base class by not specifying a parent class for a class, although this is highly unusual.
Object
is conventionally used as the base class in the original Objective-C runtimes. In the OpenStep and Cocoa Objective-C libraries,NSObject
is conventionally the universal base class. The top type for pointers to objects isid
. - Swift. It is possible to create a new base class by not specifying a parent class for a class. The protocol
Any
can accept any type.
Other languages
Languages that are not object-oriented usually have no universal supertype, or subtype polymorphism support.
While Haskell purposefully lacks subtyping, it has several other forms of polymorphism including parametric polymorphism. The most generic type class parameter is an unconstrained parameter a
(without a type class constraint). In Rust, <T: ?Sized>
is the most generic parameter (<T>
is not, as it implies the Sized
trait by default).
The top type is used as a generic type, more so in languages without parametric polymorphism. For example, before introducing generics in Java 5, collection classes in the Java library (excluding Java arrays) held references of type Object
. In this way, any non-intrinsic type could be inserted into a collection. The top type is also often used to hold objects of unknown type.
The top type may also be seen as the implied type of non-statically typed languages. Languages with runtime typing often provide downcasting (or type refinement) to allow discovering a more specific type for an object at runtime. In C++, downcasting from void *
cannot be done in a safe way, where failed downcasts are detected by the language runtime.
In languages with a structural type system, the empty structure serves as a top type. For example, objects in OCaml are structurally typed; the empty object type (the type of objects with no methods), < >
, is the top type of object types. Any OCaml object can be explicitly upcasted to this type, although the result would be of no use. Go also uses structural typing; and all types implement the empty interface: interface {}
, which has no methods, but may still be downcast back to a more specific type.
In logic
The notion of top is also found in propositional calculus, corresponding to a formula which is true in every possible interpretation. It has a similar meaning in predicate calculus. In description logic, top is used to refer to the set of all concepts. This is intuitively like the use of the top type in programming languages. For example, in the Web Ontology Language (OWL), which supports various description logics, top corresponds to the class owl:Thing
, where all classes are subclasses of owl:Thing
. (the bottom type or empty set corresponds to owl:Nothing
).
See also
Notes
- ^ "Class: BasicObject (Ruby 1.9.2)". Retrieved April 7, 2014.
- ^ System.Object
- ^ Python type/class unification
- ^ Matilla, Hugo (2019-02-27). "Kotlin basics: types. Any, Unit and Nothing". Medium. Retrieved September 16, 2019.
- ^ "An Overview of the Scala Programming Language" (PDF). 2006. Retrieved April 7, 2014.
- ^ "Types — The Swift Programming Language (Swift 5.3)". docs.swift.org. Retrieved November 2, 2020.
- ^ "Types · The Julia Language". Retrieved May 15, 2021.
- ^ "The Any type". 2022. Retrieved October 26, 2022.
- ^ "Standard ECMA-367. Eiffel: Analysis, Design and Programming Language" (PDF). 2006. Retrieved March 10, 2016.
- ^ "std.variant - D Programming Language". dlang.org. Retrieved 2022-10-29.
- ^ "The top types 'any' and 'unknown' in TypeScript".
- ^ "The unknown Type in TypeScript". 15 May 2019.
References
- Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press. ISBN 0-262-16209-1.
External links
- c2.com: Top type
- v
- t
- e
- Character
- String
- Algebraic data type
- Array
- Associative array
- Class
- Dependent
- Equality
- Inductive
- Intersection
- List
- Object
- Option type
- Product
- Record or Struct
- Refinement
- Set
- Union
- Boolean
- Bottom type
- Collection
- Enumerated type
- Exception
- Function type
- Opaque data type
- Recursive data type
- Semaphore
- Stream
- Strongly typed identifier
- Top type
- Type class
- Empty type
- Unit type
- Void
topics
- Abstract data type
- Boxing
- Data structure
- Generic
- Kind
- Parametric polymorphism
- Primitive data type
- Interface
- Subtyping
- Type constructor
- Type conversion
- Type system
- Type theory
- Variable