Jump to content

bottom type

From Wiktionary, the free dictionary

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"