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 American man is a very simple and cheap mechanism. The American woman I find a complicated and expensive one. Contrasts of feminine types are possible. I am not absolutely sure that there is more than one American man.”
—Henry Brooks Adams (1838–1918)