ObjectiveCaml(OCaml)是Caml编程语言的主要实现多范氏:AfunctionalprogramminglanguagedescendentofML,imperative,andobject-orientedApowerfultypesystem(得益于ML的体系)强大的编译系统:包含交互式顶层解释器(interactivetoplevelinterpreter),字节码编译器(bytecodecompiler),以及最优本地代码编译器(optimizingnativecodecompiler)。编译后的本地代码性能甚至超过C/C++(可以通过C++OCamlP