&gt; No, not even Erlang, nor Haskell, nor anything which is remotely close to Turing-complete. So all we can do is, in fact, decrease the attack surface.<p>You often don&#x27;t even need Turing completeness.