编程语言
OCaml 是一种工业级编程语言，支持函数式、命令式和面向对象的编程风格。
访问软件的官方网站了解更多信息
www.ocaml.org
Pony 是一种开源的、面向对象的、基于角色模型的、具备能力安全性的高性能编程语言。
