Lambda the Ultimate

Is it possible to write code that works the very first time (without testing it)?

Carlo Pescio, in his post, quotes C. A. R. Hoare:

"there are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies. The first method is far more difficult"

Then he follows the first way in a real case, applying a sort of Compositional Correctness, as he calls it.

You can read between the lines a critique to TDD, that I share, and an interesting thought:

“a real economic theory for software design” should help to minimize the cost of changes basing design on

“a number of useful, small abstractions that do not change at all, or rarely do, because they're in frictionless contact with the nature of the problem”