uninhabited

English

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

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)
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)
Italian: disabitato (it)
Japanese: 無人 (ja) (ぶにん, bunin; むじん, mujin; むにん, munin)
Korean: 무인의 (ko) (mu'inui)
Macedonian: ненаселен (nenaselen)
Maori: tāngatakore
Norwegian:
Bokmål: ubebodd
Ottoman Turkish: چول (çöl), خراب (harab)
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)

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.