OCaml 4.04.0 发布了，该版本更新内容如下：
语言特性：
PR#7233: Support GADT equations on non-local abstract types (Jacques Garrigue)
GPR#187, GPR#578: Local opening of modules in a pattern.Syntax: "M.(p)", "M.[p]","M.[| p |]", "M.{p}" (Florian Angeletti, Jacques Garrigue, review by Alain Frisch)
GPR#301: local exception declarations "let exception ... in" (Alain Frisch)
GPR#508: Allow shortcut for extension on semicolons: ;%foo (Jeremie Dimino)
GPR#606: optimized representation for immutable records with a single field, and concrete types with a single constructor with a single argument. This is triggered with a [@@unboxed] attribute on the type definition. Currently mutually recursive datatypes are not well supported, this limitation should be lifted in the future (see MPR#7364). (Damien Doligez)
Debugging and profiling:
GPR#585: Spacetime, a new memory profiler (Mark Shinwell, Leo White)
Runtime system:
PR#7203, GPR#534: Add a new primitive caml_alloc_float_array to allocate an array of floats (Thomas Braibant)
Objective Caml（OCaml）是Caml编程语言的主要实现，由Xavier Leroy，Jérôme Vouillon，Damien Doligez，Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA。
由于caml的读音与camel一致，Ocaml的吉祥物自然被定为骆驼，而以Ocaml服务为主的软件也通常以骆驼的形象作为其LOGO。
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(协作应用程序标记语言)
软件详情：https://sympa.inria.fr/sympa/arc/caml-list/2016-11/msg00010.html
下载地址：https://github.com/ocaml/ocaml/archive/4.04.0.zip
来自:开源中国社区
