begin quoting Bob La Quey as of Fri, Oct 26, 2007 at 10:43:37AM -0700: > On 10/26/07, Tracy R Reed <[EMAIL PROTECTED]> wrote: [snip] > > For most things I am not so concerned about the performance of my apps. > > Just about everything I use is fast enough. But not everything is > > bug-free enough. These days I am much more concerned with correct than > > fast (top currently showing 98.6% idle cpu). I wouldn't mind trading > > some of my computing power for correctness (which I believe implies more > > security as well). > > I completely agree. The fact that one can prove the > correctness of even part of what one computes is a > _big_ step forward. I just do _not_ see why the efficiency > hit has to be a big deal. But maybe I am missing something.
There's a lot of problems where it isn't a big deal at all. Those are the problems where FP shines. -- I don't see that FP actually reduces bugs, they're just harder to find. Stewart Stremler -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
