English edit

Etymology edit

un- +‎ inhabited.

Pronunciation edit

  • IPA(key): /ˌʌn.ɪnˈhæb.ɪ.tɪd/
  • Hyphenation: un‧in‧hab‧it‧ed

Adjective edit

uninhabited (not comparable)

  1. Not inhabited; having no inhabitants.
  2. (type theory, of a type) Not having a term.
    • 2017, Stergios Chatzikyriakidis, Zhaohui Luo, editors, Modern Perspectives in Type-Theoretical Semantics, Springer, →ISBN, page 282:
      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.
    • [2021, Dean Wampler, chapter 13, in Programming Scala, 3rd edition, O'Reilly, →ISBN:
      Unlike Null, Nothing has no instances. We say the type is uninhabited.]

Translations edit