bottom type

English

Noun

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

• bottom type on Wikipedia.Wikipedia