Comment by roeles

> All of the things you mentioned are designed and tested incrementally.

In a different way that what is proposed in this thread. We don't build a small bridge and grow it. We build small bridges, develop a theory for building bridges and use that to design the big bridge.

I don't know of any theory of computing that would help us design a "big" program at once.