欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OCaml
来自开放百科 - 灰狐
(版本间的差异)
小 (→Links) |
小 |
||
第1行: | 第1行: | ||
{{SeeWikipedia}} | {{SeeWikipedia}} | ||
− | + | OCaml,最早称为Objective Caml,是Caml编程语言的主要实现,由Xavier Leroy,Jérôme Vouillon,Damien Doligez,Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA。 | |
− | + | [[F Sharp|F#]],Microsoft [[.NET]]平台上 OCaml 风格的编程语言。 | |
+ | |||
+ | ==项目== | ||
+ | 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. | ||
+ | |||
+ | ==书籍== | ||
+ | *[http://book.huihoo.com/developing-applications-with-objective-caml/ Developing applications with Objective Caml] | ||
==链接== | ==链接== | ||
第10行: | 第20行: | ||
*http://docs.huihoo.com/ocaml/ | *http://docs.huihoo.com/ocaml/ | ||
*http://download.huihoo.com/ocaml/ | *http://download.huihoo.com/ocaml/ | ||
− | |||
− | |||
[[category:programming language]] | [[category:programming language]] | ||
[[category:functional programming]] | [[category:functional programming]] |
2016年8月27日 (六) 01:11的版本
您可以在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.
书籍
链接
分享您的观点