> Sort of ironic that the very foundations of machine computing is not a very good idea.... I'm not sure anyone (knowledgable) has ever said that they are a fu

> Sort of ironic that the very foundations of machine computing is not a very good idea.... I'm not sure anyone (knowledgable) has ever said that they are a fundamentally bad idea. The argument has always been, effectively, that they are prone to producing code that is hard to reason about. Specifically, they are prone to producing code that requires non-local reasoning. That's something that people tend to find hard. You can find variations of the same issue with such things as the actor model of threading or structured concurrency. They're all attempts to localise activity, at the expense of some power. And similarly, they almost always get translated to a more powerful, non-local construct further down the stack.