Wiktionary

bottom type

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
Retrieved from "https://en.wiktionary.org/w/index.php?title=bottom_type&oldid=73228139"