[cpburns2009]

I think a statically typed language similar to Python might be the holy grail of languages. Maybe Nim, Scala, or even Kotlin could fulfill that role (I have no experience in any of these). Although, I am skeptical if JVM based languages could work well for that given their long start up times.

[dom96]

I'd say Nim fits that description best. It's a great compiled, efficient, statically typed Python alternative.