Uniqueness Type
In computing, a unique type guarantees that an object is used in a single-threaded way, with at most a single reference to it. If a value has a unique type, a function applied to it can be optimized to update the value in-place in the object code. In-place updates improve the efficiency of functional languages while maintaining referential transparency. Unique types can also be used to integrate functional and imperative programming.
Read more about Uniqueness Type: Introduction, Programming Languages, Relationship To Linear Typing
Famous quotes containing the words uniqueness and/or type:
“Somehow we have been taught to believe that the experiences of girls and women are not important in the study and understanding of human behavior. If we know men, then we know all of humankind. These prevalent cultural attitudes totally deny the uniqueness of the female experience, limiting the development of girls and women and depriving a needy world of the gifts, talents, and resources our daughters have to offer.”
—Jeanne Elium (20th century)
“The Republican form of government is the highest form of government; but because of this it requires the highest type of human nature—a type nowhere at present existing.”
—Herbert Spencer (1820–1903)