bottom type

noun

The type that is a subtype of all other types.

Meanings

nounbottom type (plural bottom types)

plural bottom types

  1. 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
APA

bottom type. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/bottom%20type

MLA

“bottom type.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/bottom%20type. Accessed November 3, 2026.

Chicago

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.