OCaml

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(项目)
第11行: 第11行:
  
 
==项目==
 
==项目==
 +
*[https://coq.inria.fr/ Coq]
 
*[https://github.com/mirage/mirage MirageOS]
 
*[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/datakit datakit] from [[Docker]] team.
 
*[https://github.com/docker/vpnkit vpnkit] from [[Docker]] team.
 
*[https://github.com/docker/vpnkit vpnkit] from [[Docker]] team.
第23行: 第19行:
 
*[https://github.com/ocsigen ocsigen]
 
*[https://github.com/ocsigen ocsigen]
 
*[[Haxe]]
 
*[[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.
  
 
==书籍==
 
==书籍==

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

Wikipedia-35x35.png 您可以在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 风格的编程语言。

目录

Windows

项目

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.

书籍

用户

更多用户成功故事

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱