发布于 2016-04-28 00:20:28 | 168 次阅读 | 评论: 0 | 来源: 网友投递
OCaml 编程语言
Objective Caml（OCaml）是Caml编程语言的主要实现，由Xavier Leroy，Jérôme Vouillon，Damien Doligez，Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA。
OCaml 4.03.0 发布了，改进日志如下：
- PR#5528: inline records for constructor arguments
(Alain Frisch)
- PR#6220, PR#6403, PR#6437, PR#6801:
Improved redundancy and exhaustiveness checks for GADTs.
Namely, the redundancy checker now checks whether the uncovered pattern
of the pattern is actually inhabited, exploding at most one wild card.
This is also done for exhaustiveness when there is only one case.
Additionally, one can now write unreachable cases, of the form
"pat -> .", which are treated by the redundancy check.
(Jacques Garrigue)
- PR#6374: allow "_ t" as a short-hand for "(_, _, ..) t" for n-ary type
constructors
(Alain Frisch)
- PR#6714: allow [@@ocaml.warning] on most structure and signature items:
values, modules, module types
(whitequark)
- PR#6806: Syntax shortcut for putting a type annotation on a record field:
{ f1 : typ = e } is sugar for { f1 = (e : typ) }
{ f1 : typ } is sugar for { f1 = (f1 : typ) }
(Valentin Gatien-Baron, review by Jérémie Dimino)
- PR#6806: Allow type annotations before the "->" in "fun <args> -> <expr>"
fun x y : (int * int) -> (x, y)
(Valentin Gatien-Baron, review by Jérémie Dimino)
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(协作应用程序标记语言)