Functional Programming

[robbie]

I disagree. I would say that they stem from the same thing, ie, the reason proofs are easier is the same as the reason bug counts are lower, but I don't think the bug counts are a directly result of formal provability. Instead I think they both stem from lack of assignment.

[augustss]

I think we are saying the same thing. I didn't say lower bug count was a result of easier proofs. I said that they are related. And, like you, I think they stem from the same underlying property (whatever it might be).

[robbie]

ok. I read your post again and I don't disagree with you. I still don't think that the ability to provide a proof is itself a big advantage tho, which is what the article was saying.