MLton MLTONWIKIVERSION

PhantomType

Home Index

A phantom type is a type that has no run-time representation, but is used to force the type checker to ensure invariants at compile time. This is done by augmenting a type with additional arguments (phantom type variables) and expressing constraints by choosing phantom types to stand for the phantom types in the types of values.

## References

- Blume01

- dimensions

- C type system

- FluetPucella02

- subtyping

- socket module in Basis Library

Last edited on 2005-12-02 04:23:48 by StephenWeeks.