OCaml
维基百科，自由的百科全书
| Objective Caml | |
|---|---|
 |
|
| 多范式: 指令式, 函数式, 面向对象 | |
|
发行时间
|
1996年 |
|
實作者
|
INRIA |
| 最新发行时间 | 4.00.1（2012年10月5日） |
| 静态, 强, 类型推论 | |
|
衍生副語言
|
F♯, JoCaml, MetaOCaml, OcamlP3l |
|
啟發語言
|
Caml Light, Standard ML |
|
影響語言
|
F♯, Scala, ATS |
| 跨平台 | |
| Q Public License （编译器） LGPL（库） |
|
| http://caml.inria.fr/index.en.html | |
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 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.
外部連結 [编辑]
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
