支trunk
分支4.08
分支4.07
分支4.06
分支4.05
自述文件
概述
OCaml是ML语言的一种实现，它基于Caml Light方言，该方言扩展了完整的基于类的对象系统和功能强大的Standard ML样式的模块系统。
OCaml包含两个编译器。 一个生成字节码，然后由C程序解释。 该编译器可以快速运行，生成具有中等内存要求的紧凑代码，并且可以移植到任何32位或64位Unix平台上。 对于字节编码的实现，生成的程序的性能非常好。 该编译器既可以用作生成独立程序的独立的，面向批处理的编译器，也可以用作基于顶层的交互式系统。
另一个编译器为许多处理器生成高性能的本机代码。 编译需要更长的时间并生成更大的代码，但是生成的程序提供了出色的性能，同时保留了字节码编译器的中等内存要求。 本机代码编译器当前在以下平台上运行：
第1层（积极维护）
第2层（
