If I were to design a language to fill this role, it would be roughly like Python with static types and compiled to a binary. And opensource backed/developed by

If I were to design a language to fill this role, it would be roughly like Python with static types and compiled to a binary. And opensource backed/developed by a major enterprise software provider, MS, IBM, etc.