doc/guide/src/PhantomType.adoc

   1 PhantomType
   2 ===========
   3
   4 A phantom type is a type that has no run-time representation, but is
   5 used to force the type checker to ensure invariants at compile time.
   6 This is done by augmenting a type with additional arguments (phantom
   7 type variables) and expressing constraints by choosing phantom types
   8 to stand for the phantom types in the types of values.
   9
  10 == Also see ==
  11
  12 * <!Cite(Blume01)>
  13 ** dimensions
  14 ** C type system
  15 * <!Cite(FluetPucella06)>
  16 ** subtyping
  17 * socket module in <:BasisLibrary:Basis Library>