英和和英

発音

• IPA: /ˌʌn.ɪnˈhæb.ɪ.tɪd/
• ハイフネーション: un‧in‧hab‧it‧ed

形容詞

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.]