[Haskell-cafe] Is Haskell a Fanatic?

[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?

Cheers,

   Stefan