We need less powerful languages
This 100x. After learning to program in Coq (sub-Turing-complete functional language) and SQL, I&#x27;ve come to recognize that I have never in two dozen years of coding needed to express something that wasn&#x27;t expressible in some sub-Turing-complete language.<p>Turing-completeness is overrated and is more often that not a cop-out excusing poor language design. Sub-Turing-complete domain-specific-languages simplify program design, reduce bug surface area, and aid analyzability and understanding.