欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OCaml
来自开放百科 - 灰狐
（版本间的差异）
小 (→书籍) |
小 (→项目) |
||
| 第6行： | 第6行： | ||
==项目== | ==项目== | ||
| − | + | *[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/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/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/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/facebook/pfff pfff] Tools for code analysis, visualizations, or style-preserving source transformation. |
==书籍== | ==书籍== | ||
2016年8月27日 (六) 04:55的版本
|
您可以在Wikipedia上了解到此条目的英文信息 OCaml Thanks, Wikipedia. |
OCaml，最早称为Objective Caml，是Caml编程语言的主要实现，由Xavier Leroy，Jérôme Vouillon，Damien Doligez，Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA。
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.
书籍
用户
链接
分享您的观点
