OCaml

OCaml is a language of the ML family that inherits a lot from several decades of research in type theory, language design, and implementation of functional languages. Moreover, the language is quite mature, its compiler produces efficient code and comes with a large set of general purpose as well as domain-specific libraries. Thus, OCaml is well-suited for teaching and academic projects, and is simultaneously used in the industry, in particular in several high-tech software companies.

微软函数式语言F#基于OCaml构建

Links

• http://caml.inria.fr/ocaml/
• http://docs.huihoo.com/ocaml/
• http://download.huihoo.com/ocaml/