Caml编程语言的主要实现

Objective Caml(OCaml)是Caml编程语言的主要实现，由Xavier Leroy，Jérôme Vouillon，Damien Doligez，Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA

典型的编译器输出是

典型的编译器输出是由包含入口点的名字和地址， 以及外部调用(到不在这个目标文件中的函数调用)的机器代码所组成的目标文件。一组目标文件，不必是同一编译器产生，但使用的编译器必需采用同样的输出格式，可以链接在一起并生成可以由用户直接执行的EXE,