概述
OCaml是最流行的Caml语言. 从语言的角度来看，它扩展了核心带有完全支持的面向对象层的Caml语言，如以及一个强大的模块系统，所有这些都通过一个以类型推理为特征的健全的多态类型系统。
这个OCaml系统是一种工业实力的实施具有高性能的本机代码编译器(ocamlopt公司)用于9个处理器体系结构（IA32、PowerPC、AMD64、Alpha、Sparc、Mips、IA64、HPPA、，StrongArm），以及字节码编译器(ocamlc公司)和交互式read-eval-print循环(ocaml公司)快速发展和便携性。OCaml分布包括综合标准库，重放调试器(ocamldebug),列克瑟(奥卡姆莱克斯)和解析器(ocamlyacc公司)生成器，一台前置处理器的漂亮打印机(凸轮4)和文档生成器(ocamldoc公司).
可利用性
OCaml系统是开源软件：编译器是根据Q Public的条款发布的许可证，其库在LGPL下；请阅读许可证的文档更多详细信息。还可以付费获得BSD风格的许可证通过Caml联盟。这个最新版本可以自由地在此网站上下载，及其用户的手册也可在线获取。