OCaml

Objective Caml
开发者	INRIA
最新穩定版	3.09.2 / 2006年4月14日
操作系统	跨平台
类型	编程语言
许可协议	Q Public License (编译器) LGPL (库)
网站	http://caml.inria.fr/

Objective Caml (OCaml) 是Caml编程语言的主要实现，由Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA。

[编辑] 参见

• Categorical Abstract Machine Language, the language that preceeded OCaml
• Standard ML, a related language
• F Sharp,Microsoft .NET平台上OCaml风格的语言
• OCamIL, Microsoft .NET平台上的OCaml编译器
• Extensible ML, 另一种有面向对象扩展的ML
• O'Haskell 带有面向对象扩展的Haskell

[编辑] 外部链接

• Caml language family official website
  • OCaml libraries
  • Books about Caml
• OCaml tutorial for C, C++, Java and Perl programmers
• A basic OCaml tutorial
• Comparison of the speed of various languages including Ocaml
• LablGL and LablGTK OpenGL+ bindings (LablGL) and GTK+ bindings (LablGTK)
• Newest Ocaml Projects on Sourceforge
• OCaml code wiki on CodeCodex

[编辑] 有关书籍

• The Objective Caml system by Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier Rémy and Jérôme Vouillon).
• Developing Applications With Objective Caml by Emmanuel Chailloux, Pascal Manoury and Bruno Pagano.
• Introduction to the Objective Caml Programming Language by Jason Hickey.

[编辑] 用OCaml写成的程序

[编辑] 一般用途

• MLDonkey - a multi-network P2P program
• Unison - a file synchronizer

[编辑] 教育

• GeoProof - a dynamic geometry software
• MinCaml - a small tutorial compiler written in OCaml.

[编辑] 工程

• Confluence is a language for synchronous reactive system design. A Confluence program can generate digital logic for an FPGA or ASIC platform, or C code for hard real-time software.

[编辑] 娱乐

• Index of toys and examples on the Caml hump.
• Several International Conference on Functional Programming Contest winners
• Gravity simulator

[编辑] 科学

• Coq is a proof assistant.
• Orpie - a fullscreen RPN calculator for the console. Its operation is similar to that of modern HP calculators.
• FFTW - C FFT library, most of whose performance-critical code is generated by a program written in OCaml.