[hcoop/debian/mlton.git] / doc / guide / src / PhantomType.adoc

PhantomType
===========

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.

== Also see ==

* <!Cite(Blume01)>
** dimensions
** C type system
* <!Cite(FluetPucella06)>
** subtyping
* socket module in <:BasisLibrary:Basis Library>
Commit	Line	Data
7f918cf1 CE	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>