[Haskell-cafe] Is Haskell a Fanatic?

[Daniel Fischer]

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