Everything About ___
Live briefing

Everything about Any type

Universal type in logic and computer science

In type theory and computer science, type systems include a top, universal, or any type, 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. Wikipedia →

🧭 Start here: a 6-step reading path

  1. Read the overview: Any typeA 5-minute orientation
  2. Skim a recent paper: Graph-Based Dissimilarity Measurement for Cluster Analysis of Any-Type-Attributed DataInfluential work since 2022
  3. Pick up a classic book: Start Late, Finish RichThe most-reprinted book on the subject
  4. Read the landmark paper: Illegitimate transcription: transcription of any gene in any cell type.Cited 396 times
  5. Go sideways: Run-time type informationA closely related topic
  6. Go sideways: Polymorphism (computer science)A closely related topic

📖 Definitions

No dictionary entry for this exact phrase.

🗂️ The subject at a glance

  1. Support in programming languages
  2. In logic

🏆 Landmark papers (most cited)

🆕 Influential since 2022

📚 Books worth reading

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics