The "Rule Of Least Power" makes a great argument in favour of less computationally capable languages. It claims this helped HTML/CSS adoption. https://www.w3.org/2001/tag/doc/leastPower.html Applying this principle, I'd expect total languages to be popular. This hasn't happened AFAICT: what's missing?