Not sure if you're familiar, but Koka feels like the future to me: https://koka-lang.github.io/koka/doc/index.html