uninhabited

Etymology

un- + inhabited.

adj

  1. Not inhabited; having no inhabitants.
  2. (type theory, of a type) Not having a term.
    This is not a contradiction since an uninhabited type has no complete terms and a probability distribution over an empty type is ill defined anyway. 2017, Stergios Chatzikyriakidis, Zhaohui Luo, editors, Modern Perspectives in Type-Theoretical Semantics, Springer, page 282
    Unlike Null, Nothing has no instances. We say the type is uninhabited.] [2021, Dean Wampler, chapter 13, in Programming Scala, 3rd edition, O'Reilly

Attribution / Disclaimer All definitions come directly from Wiktionary using the Wiktextract library. We do not edit or curate the definitions for any words, if you feel the definition listed is incorrect or offensive please suggest modifications directly to the source (wiktionary/uninhabited), any changes made to the source will update on this page periodically.