OCaml

维基百科,自由的百科全书
跳转至: 导航搜索
Objective Caml
Caml.128x58.gif
编程范型 多范式指令式函数式面向对象
发行时间 1996年
實作者 INRIA
最新发行时间 4.00.1 / 2012年10月5日;22個月前 (2012-10-05)
型態系統 静态类型推论
衍生副語言 F♯, JoCaml, MetaOCaml, OcamlP3l
啟發語言 Caml Light, Standard ML
影響語言 F♯, Scala, ATS
作業系統 跨平台
許可證 Q Public License(编译器)
LGPL(库)
網站 http://caml.inria.fr/index.en.html

OCaml,最早稱為Objective Caml,是Caml编程语言的主要实现,由Xavier LeroyJérôme VouillonDamien DoligezDidier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA

OCaml 所為人知的就是其極高效率的運行性能在最接近 C/C++ 語言時仍略帶優勢或不相伯仲,在大多數經優化編譯的情況下其代碼效率遠超 C/C++ 2到6倍。

参见[编辑]

外部链接[编辑]

有关书籍[编辑]

用OCaml写成的程序[编辑]

一般用途[编辑]

教育[编辑]

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

娱乐[编辑]

科学[编辑]

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

外部連結[编辑]