[thesz]

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-sigmod...