"Because there's currently no high-level programming language for writing stateful software that I'm aware of. That's the short answer."

Huh?