Word.ws English Dictionary

phantom types

phantom types is the plural of phantom type.

Meaning of phantom type

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

Questions about phantom types

What is phantom types the plural of?
Phantom types is the plural of phantom type.

Words near phantom types in the dictionary

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

Source and license

Adapted from Wiktionary: phantom types (page history and authors); 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 types.” Word.ws, https://word.ws/phantom_types. Based on Wiktionary, CC BY-SA 4.0.