I think OCaml could be such a language personally. Its like rust-lite or a functional go.