phantom type

名词 n.

英文释义

名词 n.
  1. A parameterized type that does not depend on all of its type parameters.
    — 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.

词形变化

phantom types plural
0 次浏览 数据来源: Wiktionary