[Haskell-cafe] Is Haskell a Fanatic?

[Brandon S. Allbery KF8NH]

On Dec 3, 2009, at 13:14 , Stefan Holdermans wrote:
> 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?


This "troll" was, apparently, invited by one of the Simons onto the  
Haskell' list, then asked to move his spiels here.

That said, I have to say that, based on his output so far, I have  
trouble interpreting his "path of truth" as one of mathematical rigor;  
in the context of his "On the Meaning of Haskell" screeds, it sounds  
more like some kind of religious "truth".  I.e. the "fanatic" arrow's  
pointing the wrong way, as far as I can tell.

-- 
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH


-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 195 bytes
Desc: This is a digitally signed message part
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20091203/56c3b741/PGP.bin