> understanding the program then depends on the large amount of state of a running system Fair enough. But a system based on declarative functional language sh

> understanding the program then depends on the large amount of state of a running system Fair enough. But a system based on declarative functional language should largely avoid that problem, as all state has to be made explicit, and all interactions with state are represented locally.