Uniqueness type

A unique type guarantees that an object is used in a single-threaded way, without duplicating references to it. It also allows the destruction of variables. Uniqueness type can also be used to integrate with imperitive programming languages. Uniqueness types are implemented in Clean and Mercury. Uniqueness types were invented on a theoretical basis by Dana Harrington in her master thesis.

See also

• Linear type
• Linear logic

External link

• The paper in which uniqueness types were first proposed