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:

    ... the Wall became a magnet for citizens of every generation, class, race, and relationship to the war perhaps because it is the only great public monument that allows the anesthetized holes in the heart to fill with a truly national grief.
    Adrienne Rich (b. 1929)

    It would be a fallacy to deduce that the slow writer necessarily comes up with superior work. There seems to be scant relationship between prolificness and quality.
    Fannie Hurst (1889–1968)