OCaml

2017年2月6日 (一) 04:03的版本

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

Windows

• OCaml on Windows

指南

完成第一个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
 utop # let () = print_endline "Hello OCaml World!";;
 Hello OCaml World!  

类型

 utop # (1, "str1", 2.);; // 元组tuple
- : int * string * float = (1, "str1", 2.)     
 utop # [1; 2; 3];; // 列表list
- : int list = [1; 2; 3]  
 utop # [|1; 2; 3|];; 数组array
- : int array = [|1; 2; 3|]   
 utop # type vec2 = { x : float; y : float };; //记录record
type vec2 = { x : float; y : float; }

常见问题

Error: Unbound module Core

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

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

-bash: ocamlfind: command not found

eval $(opam config env)

项目

• Coq
• MirageOS
• Irmin数据库
• ocaml-cohttp 非常轻量的HTTP server
• ocaml-dns DNS协议的OCaml实现 和 jitsu DNS Server
• datakit from Docker team.
• vpnkit from Docker team.
• Jane Street Capital's standard library overlay
• Real World OCaml
• ocsigen
• Haxe

Facebook也发布了一些OCaml开源项目

• Hack is a programming language for HHVM
• 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.

课程

• CS 3110 Spring 2014 :: Data Structures and Functional Programming

文档

• Xen and the art of OCaml

书籍

• Real World OCaml 在线阅读
• Developing applications with Objective Caml

开发者

• 张宏波 前OCaml编译器核心作者, BuckleScript 作者。

用户

• Facebook
• Esper
• Jane Street是OCaml最大的用户 知乎上的一些信息 at github Why doesn't Jane Street switch from Ocaml to F#?
• Citrix
• Lexifi

更多用户和成功故事

图集

• 

  LexiFi IDE

链接

• OCaml官网
• OCaml @ GitHub
• OCaml Planet
• OCaml中文教程
• Awesome OCaml
• http://caml.inria.fr/ocaml/
• http://docs.huihoo.com/ocaml/
• http://download.huihoo.com/ocaml/
• Comparing a Machine Learning Algorithm Implemented in F# and OCaml