This is never going to happen. Do you forbid shell scripting? What about turing-complete configuration formats? How do you define static typing? Is TS `Any` a

This is never going to happen. Do you forbid shell scripting? What about turing-complete configuration formats? How do you define static typing? Is TS `Any` allowed? Is C# `dynamic` allowed? Are you allowed to use reflection? How are you going to enforce this at scale?