newbie conceptual question [from haskell list]

[Alastair David Reid]

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/