欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OCaml
来自开放百科 - 灰狐
(版本间的差异)
小 (→链接) |
小 (→书籍) |
||
第31行: | 第31行: | ||
*[https://www.amazon.cn/gp/product/B013W98L4C Real World OCaml] | *[https://www.amazon.cn/gp/product/B013W98L4C Real World OCaml] | ||
*[http://book.huihoo.com/developing-applications-with-objective-caml/ Developing applications with Objective Caml] | *[http://book.huihoo.com/developing-applications-with-objective-caml/ Developing applications with Objective Caml] | ||
+ | |||
+ | ==开发者== | ||
+ | *[https://www.zhihu.com/people/hongbo_zhang 张宏波] 前OCaml编译器核心作者, [https://github.com/bloomberg/bucklescript BuckleScript] 作者。 | ||
==用户== | ==用户== |
2016年9月15日 (四) 13:55的版本
您可以在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
项目
- Coq
- MirageOS
- datakit from Docker team.
- vpnkit from Docker team.
- Jane Street Capital's standard library overlay
- Real World OCaml
- ocsigen
- Haxe
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.
课程
书籍
开发者
- 张宏波 前OCaml编译器核心作者, BuckleScript 作者。
用户
- Esper
- Jane Street是OCaml最大的用户 知乎上的一些信息 at github Why doesn't Jane Street switch from Ocaml to F#?
- Citrix
- Lexifi
图集
链接
分享您的观点