OCaml 是一种快速、简洁、而强大的应用程序开发语言，开发工具包含交互式顶层解释器，字节码编译器以及最优本地代码编译器。Ocaml
有一个巨大标准库，使得可以像 Python 或者 Perl 语言一样可以方便地开发各种应用程序。4.09.0 版本亮点如下：
- 新的优化，特别是匹配中的 affine functions（仿射函数），如下：
type t = A | B | C
let affine = function
| A -> 4
| B -> 3
| C -> 2
 
- graphics 库已从编译器发行版中删除
- vmthread 库被删除
- 取消对编译器插件的支持
- 还有许多修复
完整列表见更改日志：
http://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | 
