> a multithreaded C++ program which copiously used autoincrementing pointers and polymorphism I'd hazard a guess that the results would be the same. It all boi

> a multithreaded C++ program which copiously used autoincrementing pointers and polymorphism I'd hazard a guess that the results would be the same. It all boils down to (multiple) sequential processes, which can be analyzed by spatio-temporal reasoning. Functional programming, on the other hand, may be different. When "execution" of your program is driven by beta-reductions and control flow can be abstracted away, it becomes less certain that spatio-temporal reasoning is the right tool for the task. And, yes, I hit the wall madhadron mentioned in the sibling comment.