[Haskell-cafe] Is Haskell a Fanatic?
stefan at cs.uu.nl
Thu Dec 3 13:14:40 EST 2009
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?
More information about the Haskell-Cafe