Решил притащить на обсудить Inko: https://inko-lang.org/
Хз, нужно оно в реальном мире или нет, когда есть python/ruby/elixir.
Но вдруг у кого-нибудь есть умные мысли на этот счёт. :)
Inko is a gradually-typed, safe, object-oriented programming language for writing concurrent programs. By using lightweight isolated processes, data race conditions can not occur. The syntax is easy to learn and remember, and thanks to its error handling model you will never have to worry about unexpected runtime errors.
Inko runs on 64 bits Linux, BSD, Mac OS, and Windows. 32 bits platforms may work, though they are not officially supported at this time.
ps: в тегах питон, руби, эрланг и эликсир потому, что автор считает их основными конкурентами инко. А раст потому, что ВМ написана на нём.