Am Donnerstag 03 Dezember 2009 19:14:40 schrieb Stefan Holdermans:
John, Miguel (and others),
Don Stewart wrote, "the guarantees of purity the type system provides are extremely useful for verification purposes". My response to this is in theory. This is what caught my attention initially, but the language lacks polish and does not appear to be going in a direction where it shows signs where it will self-correct. It may even be beyond repair. I care about others and I don't want people to be misled. [...]
The burden of proof is on you to demonstrate that it _is_.
I admit it's tempting, but wouldn't you agree that, especially in this case, it's better not to feed the troll?
To feed, or not to feed: that is the question: Whether 'tis nobler in the mind to suffer The quips and ramblings of outrageous trolling, Or to take arms against a sea of nonsense, And by opposing end them?
Cheers,
Stefan