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)
“Sisters is probably the most competitive relationship within the family, but once the sisters are grown, it becomes the strongest relationship.”
—Margaret Mead (1901–1978)