挑战性的。与标准的循环、寄存器和指令优化一起,OCaml的优化编译器采用静态程序分析方法,来优化值包装(英语:Object type (object-orientedprogramming))(boxing)和闭包分配,帮助结果代码得到最大化的性能,即使它大量使用了函数式编程构造。 Xavier Leroy(英语:Xavier
Compiler for Object-OrientedProgramming Languages, Stanford University, 1992 Series of four articles "Environment and the programming language Self"(页面存档备份,存于互联网档案馆)