[Haskell-cafe] Haskell Propeganda

[Matus Tejiscak]

On So, 2008-08-23 at 22:16 +0200, Thomas Davie wrote:
> Today I made an interesting discovery.
> 
> We all know the benefits of a strong type system, and often tout it as  
> a major advantage of using Haskell.  The discovery I made, was that C  
> programmer don't realise the implications of that, as this comment  
> highlights:
> 
> http://games.slashdot.org/comments.pl?sid=654821&cid=24716845
> 
> Apparently, no one realises that a SEGFAULT is a type error, just not  
> a very helpful one.
> 
> Bob

Type errors are useful because they emerge at compile time and prevent
you from compiling (and running) a broken program. A segfault is a
runtime error and as such provides no such guide -- it may or may not
arise and you don't know something's wrong until sigsegv kills your app,
screws all your data, crashes the airplane etc. (without the possibility
to tell whether/when it will happen).

Matus