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.
文档
• Using, Understanding, and Unraveling
The OCaml Language
• Camlp4 - Tutorial
• The Caml Light system
• Camlp4 - Reference Manual
• The Objective Caml system release 3.09
• The Objective Caml system release 3.08
• The Objective Caml system release 3.07
链接
• http://caml.inria.fr/ocaml/
• http://download.www.opendocs.net/ocaml/
|
|