Any type

In type theory and computer science, type systems include a top, universal, or any type (often represented with the down tack (⊤) symbol), which includes all other types as subtypes. 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. In object-oriented languages, it is often called Object, as it represents all possible objects.

The top type contrasts with the bottom type, or the universal subtype, which every other type is the supertype of. The bottom type is a type that contains no subtypes at all.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.