这是一个实现了ML语言的基础上，Caml中轻方言扩展了一个完整的基于类的对象系统和强大的模块系统标准ML的风格。目的Caml中包括两种编译器。一个产生字节码，然后通过一个C程序解释。这个编译器跑得快，可以移植到几乎任何32位或64位Unix平台上，并产生紧凑的代码中等内存需求。生成的程序的性能是一个bytecoded实现相当不错的。这个编译器既可以用于作为一个独立的，面向批处理的编译器，产生独立的程序，或者作为互动，顶层为基础的系统。其他编译器生成高性能的本机代码的数量的处理器。编译需要更长的时间和更大的生...
