I guess I didn't express my point very clearly... That C programmers
apparently don't realise that a type system that's sound will give them
something -- i.e. their programmer won't ever segfault. I wonder when we try
to advertise Haskell if we should be saying "we can give you programs that
never segfault", instead of "we have a strong type system".
That would be overpromissing. You can definitely get segfaults in
Haskell. The obvious example being
http://codepad.org/Q8cgS6x8
but many less contrived and more unexpected examples arise naturally
(unfortunately).
By the way, the Java camp has (correctly) been touting this argument for
quite a while.
Bob
Tim Newsham
http://www.thenewsh.com/~newsham/
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
