The wonderful thing about dynamic typing is it lets you express anything that is computable. And type systems don't - type systems are typically decidable, and they restrict you to a subset. People who favor static type systems say "it's fine, it's good enough; all the interesting programs you want to write will work as types”. But that's ridiculous - once you have a type system, you don't even know what interesting programs are there.
Gilad BrachaRelated topics
anything dynamic enough express favor fine good once people say static system thing type typing work write lets subsetRelated quotes
The general, and at the same time dynamic, type of analysis still remains an unwritten chapter of economic theory, the claims of innumerable "model-builders” notwithstanding... The ... theoretical approach, based on the combination of the complexities of a general interdependent system with the simplifying assumptions of static analysis, constitutes the background of this investigation.
Wassily Leontief
As far as I am concerned, I resign from humanity. I no longer want to be, nor can still be, a man. What should I do? Work for a social and political system, make a girl miserable? Hunt for weaknesses in philosophical systems, fight for moral and esthetic ideals? It's all too little. I renounce my humanity even though I may find myself alone. But am I not already alone in this world from which I no longer expect anything?
Emil Cioran
I speak of the war as fruitless; for it is clear that, prosecuted upon the basis of the proclamations of September 22d and September 24th, 1862, prosecuted, as I must understand these proclamations, to say nothing of the kindred blood which has followed, upon the theory of emancipation, devastation, subjugation, it cannot fail to be fruitless in every thing except the harvest of woe which it is ripening for what was once the peerless republic.
Franklin Pierce
I discovered that I had, in the past two decades, written a far greater amount in the essay form than I remembered. Certainly I have written enough of it to demonstrate that I harbor no disdain for literary journalism or just plain journalism, under whose sponsorship I have been able to express much that has fascinated me, or alarmed me, or amused me, or otherwise engaged my attention when I was not writing a book.
William Styron
As a man has no right to kill one of his children if it is diseased or insane, so a man who has made the gradual and conscious expression of his personality in literature the aim of his life, has no right to suppress himself any carefully considered work which seemed good enough when it was written. Suppression, if it is deserved, will come rapidly enough from the same causes that suppress the unworthy members of a man's family.
John Millington Synge
