Phrase guide

phantom type

noun · 1 senses · updated from the 2026-07-25 local source snapshot

Definitions and examples are grouped by meaning. Pronunciation, history, word forms, translations, descendants, synonyms, antonyms, derived terms, and related words appear whenever the source provides them.

Sound

Pronunciation

Each Play button uses your device's default local English voice, or a natural local fallback. The selected voice name appears after playback. This is synthesized speech, not a source recording.

No pronunciation record was provided for this word.

1

noun

Meaning 1

A parameterized type that does not depend on all of its type parameters.

Definition source: English Wiktionary via Wiktextract

Topics: computing, computing-theory, engineering, mathematics, natural-sciences, physical-sciences, sciences

Examples

  • 2004 July 31, Markus Mottl, "Phantom types" on caml-listhttps://web.archive.org/web/20200622172054/https://caml.inria.fr/pub/ml-archives/caml-list/2004/07/3a19a05047ea9332426bba1d8bc403ce.en.html Phantom types not only allow you to capture constraints, which are proved by the compiler, they are also perfectly cheap computationally, because you don't have to check things at runtime all the time.

Meaning relationships

Synonyms: none provided

Antonyms: none provided

History

Etymology

No etymology was provided for this word.