Matei recommended Scala. 8 hours ago
Scala is functional and translates to Java compatible bytecode. It can use Java libraries.
Rust is a systems programming language that runs blazingly fast, prevents segfaults, and guarantees thread safety.
Julia is a high-level, high-performance dynamic programming language for technical computing.
Lua is a powerful, fast, lightweight, embeddable scripting language.