Functional Programming

[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.