Meaning of phantom type | Babel Free
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.
This word is part of the CEFR B2 vocabulary — upper intermediate level.
See also
Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free