OCaml
维基百科，自由的百科全书
 |
|||||||
| 编程范型 | 多范式：指令式，函数式，面向对象 | ||||||
|---|---|---|---|---|---|---|---|
| 實作者 | INRIA | ||||||
| 发行时间 | 1996年 | ||||||
| 最新发行时间 | 4.02.1 / 2014年10月16日 | ||||||
| 型態系統 | 静态，强，类型推论 | ||||||
| 作業系統 | 跨平台 | ||||||
| 許可證 | Q Public License（编译器） LGPL（库） |
||||||
| 網站 | http://ocaml.org/ | ||||||
|
|||||||
OCaml，最早稱為Objective Caml，是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 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写成的程序[编辑]
一般用途[编辑]
教育[编辑]
工程[编辑]
- 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.
外部連結[编辑]
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
