Yeah like OCaml, just without global lock, modern and cool and with fast compilation (can be at the cost of some convenience features). Ideally interop with something that has all the libraries. And without the imperative and object oriented parts.