Dependent Types

Famous quotes containing the words dependent and/or types:

“Let ... individuals make the most of what God has given them, have their neighbors do the same, and then do all they can to serve each other. There is no use in one man, or one nation, to try to do or be everything. It is a good thing to be dependent on each other for something, it makes us civil and peaceable.”
—Sojourner Truth (c. 1797–1883)

“The wider the range of possibilities we offer children, the more intense will be their motivations and the richer their experiences. We must widen the range of topics and goals, the types of situations we offer and their degree of structure, the kinds and combinations of resources and materials, and the possible interactions with things, peers, and adults.”
—Loris Malaguzzi (1920–1994)