I think ocaml is fairly close to this to be honest.