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:
“We live in a world of things, and our only connection with them is that we know how to manipulate or to consume them.”
—Erich Fromm (1900–1980)
“The Transcendentalist adopts the whole connection of spiritual doctrine. He believes in miracle, in the perpetual openness of the human mind to new influx of light and power; he believes in inspiration, and in ecstacy.”
—Ralph Waldo Emerson (1803–1882)
“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 rank and file have let their servants become their masters and dictators.... Provision should be made in all union constitutions for the recall of leaders. Big salaries should not be paid. Career hunters should be driven out, as well as leaders who use labor for political ends. These types are menaces to the advancement of labor.”
—Mother Jones (1830–1930)