ocaml简介

是 的一個分支，是屬於一種 ，但他不是純的 functional language。像 也是 functional language 的一種，但也都不是『純』的 functional language。 Ocaml 可以使用三種 programming style，、 及 ，可以使用其中的一種，也可以三種混合使用。