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 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.
[编辑] 外部連結
|
|||||||||||||||||||||||||||||||||||||||
