bottom type

English

Noun

bottom type (plural bottom types)

(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

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.