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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe