uninhabited

What it means

1. not comparableNot inhabited; having no inhabitants.

   Synonyms: inhabitantless, peopleless, uninhabitated · Antonyms: inhabited

2. not comparabletype theoryNot having a term.

   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

   1 more example

   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

   Antonyms: inhabited

In a sentence

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

Where it comes from

1. Proto-Indo-European*né
2. Proto-Indo-European*n̥-
3. Proto-Germanic*un-
4. Proto-West Germanic*un-
5. Old Englishun-
6. Middle Englishun-
7. Englishun-
8. Englishinhabited
9. Englishuninhabited

From un- + inhabited.