Meanings
plural bottom types
- type theorycomputingThe type that is a subtype of all other types.
A new notion to many Java developers will be the idea that a class hierarchy can have common bottom types. These are types that are subtypes of all types. Scala's types Null and Nothing are both bottom types.
2017, Toby Weston, Scala for Java Developers: A Practical Primer, Apress, →ISBN, page 25
Cite this entry
bottom type. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/bottom%20type
“bottom type.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/bottom%20type. Accessed November 3, 2026.
WatkinsX Dictionary, s.v. “bottom type,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/bottom%20type.
Source: bottom type on Wiktionary, CC BY-SA 4.0.