English

edit

Noun

edit

bottom type (plural bottom types)

  1. (type theory, programming) The type that is a subtype of all other types.
    • 2017, Toby Weston, Scala for Java Developers: A Practical Primer, Apress, →ISBN, page 25:
      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.

Further reading

edit