Uniqueness Type - Relationship To Linear Typing

Relationship To Linear Typing

The term is often used interchangeably with linear type, although often what is being discussed is technically uniqueness typing, as actual linear typing allows a non-linear value to be "cast" to a linear form, while still retaining multiple references to it. Uniqueness guarantees that a value has no other references to it, while linearity guarantees that no more references can be made to a value.

Read more about this topic:  Uniqueness Type

Famous quotes containing the words relationship to and/or relationship:

    Film music should have the same relationship to the film drama that somebody’s piano playing in my living room has to the book I am reading.
    Igor Stravinsky (1882–1971)

    If the relationship of father to son could really be reduced to biology, the whole earth would blaze with the glory of fathers and sons.
    James Baldwin (1924–1987)