OCaml

2016年9月19日 (一) 02:23的版本

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

OCaml，最早称为Objective Caml，是Caml编程语言的主要实现，由Xavier Leroy，Jérôme Vouillon，Damien Doligez，Didier Rémy及其他人于1996年创立，OCaml是开放源代码项目。

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

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

完成第一个OCaml程序，Hello World!，创建test.ml文件，包含：

let _=print_endline "hello world!" 
编译 test.ml
ocamlc test.ml -o test  // Byte-code编译
或 ocamlopt test.ml -o test // Native-code编译
 ./test

REPL

$ ocmal 或 $ utop

Error: Unbound module Core

vim ~/.ocamlinit 加入以下内容，并重新运行utop

#use "topfind"
#camlp4o
#thread
#require "core.top"
#require "core.syntax"

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.