You should check ML programming languages family, like Ocaml.