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

This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.