Everything About ___
Live briefing

Everything about Unit type

Type that allows only one value

In the area of mathematical logic and computer science known as type theory, a unit type is a type that allows only one value. The carrier associated with a unit type can be any singleton set. There is an isomorphism between any two such sets, so it is customary to talk about the unit type and ignore the details of its value. One may also regard the unit type as the type of 0-tuples, i.e. the product of no types. Wikipedia →

🧭 Start here: a 6-step reading path

  1. Read the overview: Unit typeA 5-minute orientation
  2. Skim a recent paper: Type 2 immunity in allergic diseasesInfluential work since 2022
  3. Pick up a classic book: Twelve years a slaveThe most-reprinted book on the subject
  4. Read the landmark paper: Unit Type Differences in RN Workgroup Job SatisfactionCited 64 times
  5. Go sideways: Substitution failure is not an errorA closely related topic
  6. Go sideways: Null object patternA closely related topic

📖 Definitions

No dictionary entry for this exact phrase.

🗂️ The subject at a glance

  1. In programming languages

🏆 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