Word.ws English Dictionary

phantom type

phantom type noun: a parameterized type that does not depend on all of its type parameters.

Noun

phantom type (plural phantom types)

  1. A parameterized type that does not depend on all of its type parameters.
    • 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.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

Forms of phantom type

pluralphantom types

Questions about phantom type

What does phantom type mean?
Phantom type means a parameterized type that does not depend on all of its type parameters.
What part of speech is phantom type?
Phantom type is a noun.
What is the plural of phantom type?
The plural of phantom type is phantom types.

Words near phantom type in the dictionary

  1. phantom shiners
  2. phantom stock
  3. phantom stocks
  4. phantom tumour
  5. phantom tumours
  6. phantom type
  7. phantom types
  8. phantom vibration syndrome
  9. phantom withdrawal
  10. phantom withdrawals
  11. phantom word

Source and license

Adapted from Wiktionary: phantom type (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “phantom type.” Word.ws, https://word.ws/phantom_type. Based on Wiktionary, CC BY-SA 4.0.