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:
“Whatever may be our just grievances in the southern states, it is fitting that we acknowledge that, considering their poverty and past relationship to the Negro race, they have done remarkably well for the cause of education among us. That the whole South should commit itself to the principle that the colored people have a right to be educated is an immense acquisition to the cause of popular education.”
—Fannie Barrier Williams (1855–1944)
“The relationship between mother and professional has not been a partnership in which both work together on behalf of the child, in which the expert helps the mother achieve her own goals for her child. Instead, professionals often behave as if they alone are advocates for the child; as if they are the guardians of the child’s needs; as if the mother left to her own devices will surely damage the child and only the professional can rescue him.”
—Elaine Heffner (20th century)