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 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.
Source: Wikipedia "Any type" · CC BY-SA 4.0
Share this article: X · Bluesky