It sounds like you should try ocaml