bottom type

noun

bottom type

noun

1

Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Programming, Sciences 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:

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.