[noelwelsh]

O'Caml is similar, now that it has multicore. Scala is also similar, though the native code side (https://scala-native.org/en/stable/) is not nearly as well developed as the JVM side.

[ninetyninenine]

The problem with O'Caml is it won't get popular because people are afraid of FP. But I would be totally down to use it.