English Dictionary

phantom type

noun

(computing theory) A parameterized type that does not depend on all of its type parameters.

Phantom types are a powerful feature in statically typed programming languages.

意味（1）

(computing theory) 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.