OCaml

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。

目录 1 参见 2 外部链接 2.1 有关书籍 2.2 用OCaml写成的程序 2.2.1 一般用途 2.2.2 教育 2.2.3 工程 2.2.4 娱乐 2.2.5 科学

参见

• 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.

Why are we here?
All text is available under the terms of the GNU Free Documentation License
This page is cache of Wikipedia. History