[Haskell-cafe] FP and Quality

PR Stanley prstanley at ntlworld.com
Mon Feb 4 18:53:59 EST 2008

Thanks, keep the tips coming. I like the ones about the type safety 
and line counts.
At 23:33 04/02/2008, you wrote:
>Good luck with this - I'd love to see the outcome.
>My experience is that FP tends to result in a lot less code, so if 
>there are x
>bugs per line of code, FP has less bugs per complete application.
>Talking about haskell, the typesystem dissalows whole classes of bugs. Things
>simply do not compile if you stitch the innards together in the wrong order
>(particuarly if you are agressive about using the most general types
>possible). Since this accounts for perhaps 90% of where I do things wrong in
>Java, I get a corresponding decrease in run-time bugs in haskell. However,
>this is somewhat compensated for by the effort needed to get haskell programs
>through the compiler in the first place - debug at compile or debug at
>runtime is the tradeoff here.
>FP is easier to verify mechanically than imperative programming - more of the
>logic is exposed directly. It's easier to do by-case proofs, even if they are
>by-hand rather than mechanical.
>However, all of this is annecdotal. Good luck collecting real stats, or
>peer-reviewed annecdotes. You may have luck looking at bug-fix times vs
>number of developers for equivalent FP and Java apps/libs. Worth a shot,
>given that the bug-trackers tend to be public. You could probably tie it back
>to the size of the 'fix' patches. Get some nice graphs?
>On Monday 04 February 2008, you wrote:
> > Hi folks
> > I'm thinking of writing a little essay arguing the case for the
> > advantages of FP for producing quality software. Can the list
> > recommend any papers/articles which I can use as sources of my
> > argument? I have access to the IEEE database too although earlier I
> > couldn't find anything on the subject.
> > Thanks, Paul
> >
> > _______________________________________________
> > Haskell-Cafe mailing list
> > Haskell-Cafe at haskell.org
> > http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list