phantom type

短语

词形变化

phantom types 复数 phantom types

释义与例句

n.
  1. 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.