OCaml 是 Caml 编程语言的主要实现，Caml 是函数式编程语言，OCaml 将 Caml 语言在面向对象方面做了延展，它的扩展语言还有基于微软 .net 平台的 F# (fsharp) 语言。Caml 的代码大多可以在 F# 中使用。