You are very correct.  I think there is still much to gain even from Turing-complete languages, where the Turing-completeness is relegated to one particular rarely needed construct.  Beside the rest of the language being completely analyzable, that one piece that isn&#x27;t easily stands out as a code smell.