Connection With Data Types
The value-level approach to programming invites the study of the space of values under the value-forming operations, and of the algebraic properties of those operations. This is what is called the study of data types, and it has advanced from focusing on the values themselves and their structure, to a primary concern with the value-forming operations and their structure, as given by certain axioms and algebraic laws, that is, to the algebraic study of data types.
Read more about this topic: Value-level Programming
Famous quotes containing the words connection with, connection, data and/or types:
“What is the vanity of the vainest man compared with the vanity which the most modest person possesses when, in connection with nature and the world, he experiences himself as “man”!”
—Friedrich Nietzsche (1844–1900)
“Much is made of the accelerating brutality of young people’s crimes, but rarely does our concern for dangerous children translate into concern for children in danger. We fail to make the connection between the use of force on children themselves, and violent antisocial behavior, or the connection between watching father batter mother and the child deducing a link between violence and masculinity.”
—Letty Cottin Pogrebin (20th century)
“Mental health data from the 1950’s on middle-aged women showed them to be a particularly distressed group, vulnerable to depression and feelings of uselessness. This isn’t surprising. If society tells you that your main role is to be attractive to men and you are getting crow’s feet, and to be a mother to children and yours are leaving home, no wonder you are distressed.”
—Grace Baruch (20th century)
“... there are two types of happiness and I have chosen that of the murderers. For I am happy. There was a time when I thought I had reached the limit of distress. Beyond that limit, there is a sterile and magnificent happiness.”
—Albert Camus (1913–1960)