It has to do with the following part of the comment I replied to: > guaranteed... that programs are: Non-blocking Data-race free Deadlock free

It has to do with the following part of the comment I replied to: > guaranteed... that programs are: Non-blocking Data-race free Deadlock free Optimally scheduled Scalable by default And the call that "any language that does this worth a look." SQL (transaction processing) does all this and more for quite some time [1] now. [1] https://cs.yale.edu/homes/thomson/publications/calvin-sigmod12.pdf https://cs.yale.edu/homes/thomson/publications/calvin-sigmod...