← Back to search

Meaning of phantom type | Babel Free

Noun CEFR B2

Definitions

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

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.”

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

phantom vibration syndrome phantom withdrawal phantom word phantomism phantomist phantomization