And it has a syntax highlighting for Caml and you can assign hotkeys for compiling executing the program.

和它有语法高亮骆驼，你可以为编译执行程序分配热键。

Objective Caml: OCaml, a Lisp derivative that combines static and inferred typing to deliver high performance without sacrificing productivity.

Objective Caml： OCaml是组合了静态类型和隐式类型的Lisp的衍生物，它在不牺牲生产率的情况下提供了高性能。