Sure this CVE sounds like a joke but if you create a programming language that is non Turing complete it is much easier to secure than a Turing complete language.
Making a language that have the expressive power of finite state machines could be an example.
Making a language that have the expressive power of finite state machines could be an example.