Dependent Types

Famous quotes containing the words dependent and/or types:

“Now wait a minute. You listen to me. I’m an advertising man, not a red herring. I’ve got a job, a secretary, a mother, two ex- wives, and several bartenders dependent on me. And I don’t intend to disappoint them all by getting myself slightly killed.”
—Ernest Lehman (b.1920)

“If there is nothing new on the earth, still the traveler always has a resource in the skies. They are constantly turning a new page to view. The wind sets the types on this blue ground, and the inquiring may always read a new truth there.”
—Henry David Thoreau (1817–1862)