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