Jump to content

uninhabited

From Wiktionary, the free dictionary

English

[edit]

Etymology

[edit]

From un- +‎ inhabited.

Pronunciation

[edit]
  • IPA(key): /ˌʌn.ɪnˈhæb.ɪ.tɪd/
  • Audio (Southern England):(file)
  • Hyphenation: un‧in‧hab‧it‧ed

Adjective

[edit]

uninhabited (not comparable)

  1. Not inhabited; having no inhabitants.
    Synonyms: inhabitantless, peopleless; see also Thesaurus:uninhabited
    Antonym: inhabited
  2. (type theory, of a type) Not having a term.
    Antonym: inhabited
    • 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]