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, uninhabitated; 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.]

    Derived terms

    [edit]

    Translations

    [edit]