uninhabited

English

Etymology

un- +‎ inhabited.

Adjective

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

not inhabited

• Azerbaijani: əhalisiz
• Belarusian: ненасе́лены (njenasjéljeny), незасе́лены (njezasjéljeny), бязлю́дны (bjazljúdny)
• Bulgarian: необита́ван (bg) (neobitávan). незаселен (bg) (nezaselen)
• Catalan: inhabitat (ca), deshabitat (ca), despoblat
• Chinese:

  Mandarin: 無人 (zh), 无人 (zh) (wúrén)

• Czech: neobydlený
• Danish: ubeboet
• Dutch: onbewoond (nl)
• Finnish: asumaton (fi)
• French: inhabité (fr)
• Galician: deshabitado, despoboado, inhabitado
• German: unbewohnt (de)
• Greek: ακατοίκητος (el) (akatoíkitos)
• Hungarian: lakatlan (hu)

• Japanese: 無人 (ja) (ぶにん, bunin; むじん, mujin; むにん, munin)
• Korean: 무인의 (ko) (mu'inui)
• Macedonian: ненаселен (nenaselen)
• Maori: tāngatakore
• Norwegian:

  Bokmål: ubebodd

• Plautdietsch: onbewont
• Polish: niezamieszkany, bezludny (pl)
• Portuguese: inabitado, desabitado (pt)
• Romanian: deșert (ro), nepopulat, nelocuit
• Russian: необита́емый (ru) (neobitájemyj), безлю́дный (ru) (bezljúdnyj), ненаселённый (ru) (nenaseljónnyj), незаселённый (ru) (nezaseljónnyj)
• Spanish: deshabitado (es), abandonado (es), inhabitado (es)
• Swedish: obebodd (sv)
• Ukrainian: ненасе́лений (nenasélenyj), незасе́лений (nezasélenyj), безлю́дний (uk) (bezljúdnyj)