As a followup to my own mail about productive ways to discuss Haskell with C programmers, here's some mail sent to me by a colleague who normally hacks on operating systems in C but was trying out the C-Kit (a very cool C parsing and typechecking library unfortunately written in SML). It's worth knowing that we'd recently been reading a lot of papers about efficiently detecting errors in C code (think "lint on crack").
So I like to joke you about functional language people creating an infinite research program with respect to program optimization, but after spending some time writing SML I think maybe it's the imperative people creating an infinite research program with respect to making it easy to develop non-buggy code...
-- Alastair Reid reid@cs.utah.edu http://www.cs.utah.edu/~reid/