uninhabited en · ADJ
Pronunciation
- /ˌʌn.ɪnˈhæb.ɪ.tɪd/
- (Southern-England) audio
Etymology
From un- + inhabited.
Meanings
- (not-comparable) Not inhabited; having no inhabitants.
-
(not-comparable, of a type, qualifier:type theory) Not having a term.
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.
2017, Stergios Chatzikyriakidis, Zhaohui Luo, editors, Modern Perspectives in Type-Theoretical Semantics, Springer, →ISBN, page 282:Unlike Null, Nothing has no instances. We say the type is uninhabited.
[2021, Dean Wampler, chapter 13, in Programming Scala, 3rd edition, O'Reilly, →ISBN:
Antonyms
inhabited · peopled · populated · tenanted · inhabited
Deriveds
uninhabitedly · uninhabitedness
Hypernyms
empty · cheerless · lacking · barren · abandoned
Synonyms
unoccupied · peopleless · howling · unpeopled · vacant · desolate · inhabitantless · wasteful · untenanted · uninhabitated · inhabited · beingless · inhabitantless · peopleless · lifeless · unhabited · unpopulated · uninhabited · disinhabited · deserted · desert · tenantless · solitary
Translations (52)
el ακατοίκητος (not inhabited) · gl despoboado (not inhabited) · cmn 無人 /无人 (not inhabited) · ota چول (not inhabited) · ja 無人 (not inhabited) · ca despoblat (not inhabited) · uk безлю́дний (not inhabited) · bg необита́ван (not inhabited) · es abandonado (not inhabited) · uk незасе́лений (not inhabited) · ro nepopulat (not inhabited) · pdt onbewont (not inhabited) · pt desabitado (not inhabited) · az əhalisiz (not inhabited) · ru ненаселённый (not inhabited) · ka დაუსახლებელი (not inhabited) · nl onbewoond (not inhabited) · fi asumaton (not inhabited) · gl deshabitado (not inhabited) · pl niezamieszkany (not inhabited) · ru безлю́дный (not inhabited) · it disabitato (not inhabited) · da ubeboet (not inhabited) · xal эҗго (not inhabited) · be бязлю́дны (not inhabited) · be незасе́лены (not inhabited) · pl bezludny (not inhabited) · sh nenastanjen (not inhabited) · sh nenaseljen (not inhabited) · es deshabitado (not inhabited) · be ненасе́лены (not inhabited) · ru необита́емый (not inhabited) · bg незаселен (not inhabited) · ro nelocuit (not inhabited) · sv obebodd (not inhabited) · uk ненасе́лений (not inhabited) · ko 무인의 (not inhabited) · hu lakatlan (not inhabited) · fr inhabité (not inhabited) · ca inhabitat (not inhabited) · cs neobydlený (not inhabited) · mk ненаселен (not inhabited) · nb ubebodd (not inhabited) · pt inabitado (not inhabited) · de unbewohnt (not inhabited) · ca deshabitat (not inhabited) · ota خراب (not inhabited) · gl inhabitado (not inhabited) · mi tāngatakore (not inhabited) · ru незаселённый (not inhabited) · es inhabitado (not inhabited) · ro deșert (not inhabited)