Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WiktionaryThe Free Dictionary
Search

uninhabited

From Wiktionary, the free dictionary

English

[edit]

Etymology

[edit]

Fromun- +‎inhabited.

Pronunciation

[edit]

Adjective

[edit]

uninhabited (notcomparable)

  1. Notinhabited; having noinhabitants.
    Synonyms:inhabitantless,peopleless;see alsoThesaurus:uninhabited
    Antonym:inhabited
  2. (type theory, of atype) Not having aterm.
    Antonym:inhabited
    • 2017, Stergios Chatzikyriakidis, Zhaohui Luo, editors,Modern Perspectives in Type-Theoretical Semantics, Springer,→ISBN,page282:
      This is not a contradiction since anuninhabited type has no complete terms and a probability distribution over an empty type is ill defined anyway.
    • [2021, Dean Wampler, chapter 13, inProgramming Scala, 3rd edition, O'Reilly,→ISBN:
      UnlikeNull,Nothing has no instances. We say the type isuninhabited.]

Translations

[edit]
not inhabited
Retrieved from "https://en.wiktionary.org/w/index.php?title=uninhabited&oldid=82765609"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp