> An interpreted language with a focus on expressiveness and type safety
Personally I think typed scripting languages could be the future. They should support AOT compilation where necessary.
Even C or Rust can be a scripting language. You just integrate the toolchain to your app, same as every other scripting language.