This is more of computer science issue with languages insisting on being turing complete. I suppose governments could incentivize language designers to produce

This is more of computer science issue with languages insisting on being turing complete. I suppose governments could incentivize language designers to produce and support languages that eliminate ever larger classes of vulnerabilities by only buying software that is written in those kinds of languages.