OCaml语言的优势是：Ocaml的代码简洁明了，富有表达力，尽管没有显式声明类型, 但Ocaml是静态类型语言, 它的编译器可以自己推断出类型。使用 OCaml 可以无痛的进行命令式编程，OCaml 的编译速度和运行速度都很快，编译器的开发者追求在可行的范围内将速度提升到极致。OCaml 也支持 OOP。
一、OCaml语言的优势
Ocaml的代码简洁明了，富有表达力，尽管没有显式声明类型, 但Ocaml是静态类型语言, 它的编译器可以自己推断出类型。使用 OCaml 可以无痛的进行命令式编程，OCaml 中通常只是将 IO 等改变状态的方法设计成 Unit 类型，然后很直白的拼接在一起，初学者可以快速进入角色编写可用的程序。
OCaml 的编译速度和运行速度都很快，编译器的开发者追求在可行的范围内将速度提升到极致。通常 OCaml 编译单个文件的速度是毫秒级的。OCaml 运行时比较薄，值都是 unbox 的，且有分代和增量 GC，所以其 GC 速度非常快，而且行为较可预测。
OCaml 也支持 OOP。在 Scala 语言出现之前，通常的观点认为函数式编程与面向对象是不相容的。但是最先在同一种语言中融合了带类型推导函数式编程和面向对象编程的其实是 OCaml。OCaml 支持多重继承和匿名对象，且为类和对象建立了实用的类型系统。如果用户熟悉 OOP 的风格，在掌握语法后可以快速上手。OCaml 的面向对象机制在其编译器中的某些部分得到了应用，这些部分”用 OO 的方式实现比较自然”，有一定数量库也使用了 OOP 的风格。
