> 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.
(Laugh all you want, but Haskell has a rather nice REPL, and can work as a scripting language.)