bottom type en · NOUN
Meanings
-
(qualifier:type theory) The type that is a subtype of all other types.
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.
2017, Toby Weston, Scala for Java Developers: A Practical Primer, Apress, →ISBN, page 25:
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| bottom types | Number=Plur | lexicographic |