OCaml

OCaml是一种通用的工业级编程语言，强调表达性和安全性，它支持函数式、命令式和面向对象的风格。