, the universal supertype--the type which all other types are (directly or indirectly) a subtype of. Present in most languages; where it goes by names such as Object (many OO languages), GENERAL (
), "t" (
refers to it as the greek letter alpha.
In many languages,
is abstract--there are no elements of
which are not elements of some other (declared) type; though this isn't true in Lisp and
("new Object" is perfectly legal Java).
Not to be confused with
View edit of
March 14, 2012
with title or text search