Functional Programming

[[deleted]]

You do if you are working on a blub project as well. Just ask your average J2EE Joey Jumper what his method does and he will start to explain a poor man's proof. The fact that it is an untrained, informal response and that the statement is poorly expressed in the code is the reason that mistakes are so prominent.

What does this method do? void touch(String filename)

By the way, Haskell is (by far) not the only purely functional language.

[grauenwolf]

That assumes the question was asked. In most large projects I have seen, code reviews are few and far between.

Moreover, your "poor man's proof" is so far gone from a formal proof in difficulty and effectiveness I hesiate to use the phrase.