uninhabited
adj/ˌʌn.ɪnˈhæb.ɪ.tɪd/
Etymology From un- + inhabited.
1
Not inhabited; having no inhabitants.
2
Of a type 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:
- Synonyms
- beingless, desert, deserted, desolate, disinhabited, inhabitantless, inhabited, lifeless, peopleless, solitary, tenantless, unhabited, uninhabited, unoccupied, unpeopled, unpopulated, untenanted, vacant, wasteful
- Derived terms
- uninhabitedly, uninhabitedness