Re: [Haskell-cafe] Haskell Propeganda

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.