发布于 2016-11-05 01:23:59 | 130 次阅读 | 评论: 0 | 来源: 网友投递
OCaml 编程语言
Objective Caml（OCaml）是Caml编程语言的主要实现，由Xavier Leroy，Jérôme Vouillon，Damien Doligez，Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA。
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)
下载地址：