This seems like an argument for more manual management of state, less abstraction, and more human compiler. That isn't to say we shouldn't have that discussion,

This seems like an argument for more manual management of state, less abstraction, and more human compiler. That isn't to say we shouldn't have that discussion, but it is part of that discussion.