OCaml

这是一个实现了ML语言的基础上，Caml中轻方言扩展了一个完整的基于类的对象系统和强大的模块系统标准ML的风格。
目的Caml中包括两种编译器。一个产生字节码，然后通过一个C程序解释。
这个编译器跑得快，可以移植到几乎任何32位或64位Unix平台上，并产生紧凑的代码中等内存需求。
生成的程序的性能是一个bytecoded实现相当不错的。
这个编译器既可以用于作为一个独立的，面向批处理的编译器，产生独立的程序，或者作为互动，顶层为基础的系统。
其他编译器生成高性能的本机代码的数量
的处理器。
编译需要更长的时间和更大的生成代码，但生成的程序提供卓越的性能，同时保留了字节码编译的适度内存需求。
语言Objective Caml是Caml中语言最流行的变体。
从语言的角度看，它扩展了核心Caml中的语言，具有完全成熟的面向对象的层，以及一个强大的模块系统中，所有连接通过声音，多态型系统，其特点类型推理。
客观Caml中系统是一个工业强度的实现这种语言，采用了高性能的本机代码的编译器（ocamlopt）9处理器架构（IA32，PowerPC的，AMD64，阿尔法，SPARC，MIPS，IA64，HPPA，StrongArm上）以及一个字节代码编译器（ocamlc）和交互式读取的eval打印环路（ocaml的）为快速发展和便携性。
 客观Caml中分布包括一个全面的标准库，重播调试器（ocamldebug），词法分析器（ocamllex）和解析器（ocamlyacc）发电机组，预处理器漂亮的打印机（camlp4）和文档生成器（ocamldoc）。

是什么在此版本中是新的

• 更新，其中的Tcl / Tk 8.6。
• 拒绝在一个对象相同的方法或者实例变量的多个声明。
• 传播朝向模式匹配类型信息，即使是在多态变体的存在。

什么的4.02.1版本是新的

• 更新，其中的Tcl / Tk 8.6。
• 拒绝在一个对象相同的方法或者实例变量的多个声明。
• 传播朝向模式匹配类型信息，即使是在多态变体的存在。

什么的3.12.1版本是新的

• 芽固定的：
• 在未检测到未使用的变量“包括（结构..结束）”
• 在顶层camlp4修改后的语法错误印刷（报道CAML列表）
• 配置：在Cygwin的
请不要定义_WIN32
• 硬化在两个定制块进行比较，具有不同组的定制操作的情况下通用比较。

在这两个bigarrays有各种不同的情况下bigarrays之间
• 在硬化的比较。
• 的expm1（）和log1p的固定错自动检测（）。
• 安装ocamlmktop shell脚本的时候不要加后缀名为.exe
• ocamldoc：关系到ocamldoc选项的显示小的修改
• 在OCAMLRUNPARAM巨大值修正错误
• 的声明和caml_major_collection_slice的定义之间的不匹配
• 特点愿望：
• 在增加了“-ml-代名词”和“-mli-同义词”选项ocamldep
• 加入'-ocamldoc'选项ocamlbuild
• 在时间的可能性选项添加到ocamlbuild
• 添加到当前camlp4解析器和打印机的访问
• 改进了指令选择了浮动的运算AMD64
• 添加了“usage_string”功能，精氨酸
• 与约束允许以一种公式添加到数据类型定义
• 允许合并“@Before”标签，如其他的
• 允许依赖于文件“_oasis”
• 其他的变化：
• 改变默认次要堆大小从32K到256K的话。
• 在增加了新的操作“compare_ext”自定义模块，比较与未装箱的整数定制的格挡值时调用。

什么的3.12.0版本是新的

• 的形式{LBL =拍拍的记录模式; _}标记并不是所有的标签都列出来，有目的地。
• 警告现在编号和可以打开和关闭的情况。旧系统的信件指集警告仍然支持。
• 添加选项“-strict序”给力序列的左手部分具有类型单位。
• 地图：实现有意义的地图的设置功能
• 支持添加本地DYNLINK。
• 在警告7（代号“M”，方法重写）的语义发生了变化（现在检测到所有覆盖，而不只是重复同一类体内定义），而现在是在默认情况下无效。

什么的3.11.2版本是新的

• 的最小值和最大值w.r.t.更好的文档为NaN
• ocamlbuild使用错误的编译器为C文件
• 在ocamlbuild没有使用正确的配置信息
• 在某些Windows安装中，高的启动时间为Unix的lib
• 与scanf函数和CRLF问题
• 在Windows下ocamlmklib问题
• 在BSD的问题套接字地址，例如在Unix.getnameinfo
• 问题浮动文字由GNU汇编程序解析
• 与模块和私有类型问题

要求

• 在GNU C编译器 - GCC