Dependent Types

Famous quotes containing the words dependent and/or types:

“There are many of us who cannot but feel dismal about the future of various cultures. Often it is hard not to agree that we are becoming culinary nitwits, dependent upon fast foods and mass kitchens and megavitamins for our basically rotten nourishment.”
—M.F.K. Fisher (1908–1992)

“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)