> 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".
I'm sure this point is already made somewhere. But I certainly agree that it's a useful point to make to C programmers who are interested in Haskell. I wonder whether seg faults are the true analogue to errors such as "error: head empty list." or pattern match errors. Not that I'm saying we should be encouraging such errors in our Haskell programs. Chris. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe