OCaml，an industrial-strength functional programming language