English
Etymology
un- + inhabited.
Adjective
uninhabited (not comparable)
- Not inhabited; having no inhabitants.
- (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). незаселен (nezaselen)
- Catalan: inhabitat (ca), deshabitat (ca), despoblat
- Chinese:
- Mandarin: 無人／无人 (zh) (wúrén), 无人 (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)
- (deprecated template usage)
{{trans-mid}}
- 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)
- Serbo-Croatian: nenastanjen (sh), nenaseljen (sh)
- Spanish: deshabitado (es), abandonado (es), inhabitado (es)
- Swedish: obebodd (sv)
- Ukrainian: ненасе́лений (nenasélenyj), незасе́лений (nezasélenyj), безлю́дний (uk) (bezljúdnyj)
|
