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)
“To write it, it took three months; to conceive it three minutes; to collect the data in it—all my life.”
—F. Scott Fitzgerald (1896–1940)
“The bourgeoisie loves so-called “positive” types and novels with happy endings since they lull one into thinking that it is fine to simultaneously acquire capital and maintain one’s innocence, to be a beast and still be happy.”
—Anton Pavlovich Chekhov (1860–1904)