OCaml[1] is what you are looking for. You also might want to look at Roc[2], even though that's not released yet.

1. https://ocaml.org/ 2. https://www.roc-lang.org/