phantom type

English

Noun

phantom type (plural phantom types)Category:English lemmas#PHANTOMTYPECategory:English nouns#PHANTOMTYPECategory:English countable nouns#PHANTOMTYPECategory:English multiword terms#PHANTOMTYPECategory:English entries with incorrect language header#PHANTOMTYPECategory:Pages with entries#PHANTOM%20TYPECategory:Pages with 1 entry#PHANTOM%20TYPE

  1. (computing theoryCategory:en:Theory of computing#PHANTOMTYPE) A parameterized type that does not depend on all of its type parameters.
    • 2004 July 31, Markus Mottl, "Phantom types" on caml-list
      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.
Category:English countable nouns Category:English lemmas Category:English multiword terms Category:English nouns Category:Pages with 1 entry Category:Pages with entries Category:en:Theory of computing