OCaml 4.05.0 已发布，本次更新主要针对语言特性、代码集成与优化、运行时系统、类型系统、编译器用户界面和警告、标准库、调试和分析等方面进行修复和优化。 内容较多，详情请参阅发布说明。 下载地址： Objective Caml (OCaml) 是Caml编程语言的主要实现，由Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy及其他人于1996年创立。OCaml是开放源代码项目。此项目的管理和大部分维护工作交由INRIA 完成。 OCaml将Caml语言在面向对象方面做了延展。Caml是函数式编程语言，它的扩展语言还有基于微软.net平台的F# (fsharp)语言。Caml的代码大多可以在F#中使用。F#的开发工具有VS .net，Caml的代码也可使用。 OCaml的开发工具包含交互式顶层解释器(interactive toplevel interpreter)，字节码编译器(bytecode compiler)，以及最优本地代码编译器(optimizing native code compiler)。Ocaml有一个巨大并强悍的标准库，这使得她可以像Python或者Perl语言一样可以方便地开发各种应用程序，健壮的模块化与面向对象编程结构又使得她可以胜任大规模软件工程项目。 OCaml是Caml的继承者，CAML的缩写最初代表着Categorical Abstract Machine Language(分类抽象机语言)，不过后来OCaml将这个抽象机淘汰掉了。如今人们更喜欢把CAML理解为Collaborative Application Markup Language(协作应用程序标记语言) |
