OCaml

2016年9月15日 (四) 13:34的版本

您可以在Wikipedia上了解到此条目的英文信息 OCaml Thanks, Wikipedia.

OCaml，最早称为Objective Caml，是Caml编程语言的主要实现，由Xavier Leroy，Jérôme Vouillon，Damien Doligez，Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA。

OCaml一般用于编译器、程序分析、金融交易、虚拟机等方面。它是Jane Street的核心语言，重点是用它写实时交易系统会很赚钱。

F#，Microsoft .NET平台上 OCaml 风格的编程语言。

Facebook也发布了一些OCaml开源项目

flow Adds static typing to JavaScript to improve developer productivity and code quality.
Reason: Build Systems Rapidly
Infer is a static analysis tool for Java, Objective-C and C, written in OCaml.
pfff Tools for code analysis, visualizations, or style-preserving source transformation.

@@ 第11行： / 第11行： @@
 ==项目==
+*[https://coq.inria.fr/ Coq]
 *[https://github.com/mirage/mirage MirageOS]
-Facebook也发布了一些OCaml开源项目
-*[https://github.com/facebook/flow flow] Adds static typing to JavaScript to improve developer productivity and code quality.
-*[https://github.com/facebook/reason Reason]: Build Systems Rapidly
-*[https://github.com/facebook/infer Infer] is a static analysis tool for Java, Objective-C and C, written in OCaml.
-*[https://github.com/facebook/pfff pfff] Tools for code analysis, visualizations, or style-preserving source transformation.
 *[https://github.com/docker/datakit datakit] from [[Docker]] team.
 *[https://github.com/docker/vpnkit vpnkit] from [[Docker]] team.
@@ 第23行： / 第19行： @@
 *[https://github.com/ocsigen ocsigen]
 *[[Haxe]]
+Facebook也发布了一些OCaml开源项目
+*[https://github.com/facebook/flow flow] Adds static typing to JavaScript to improve developer productivity and code quality.
+*[https://github.com/facebook/reason Reason]: Build Systems Rapidly
+*[https://github.com/facebook/infer Infer] is a static analysis tool for Java, Objective-C and C, written in OCaml.
+*[https://github.com/facebook/pfff pfff] Tools for code analysis, visualizations, or style-preserving source transformation.
 ==书籍==