ocaml与haskell一样，是functional programming的代表。
对于有一定编程经验的人来说，入手一种新语言，最有效的方式就是开发一些实用的utility，因此top-level肯定不能满足我们的需要。
对于ocaml来说，我们怎样才能生成一个命令行程序的PE文件呢?
先安装OPAM
参考：https://github.com/realworldocaml/book/wiki/Installation-Instructions
$ add-apt-repository ppa:avsm/ppa
$ apt-get update
$ apt-get install curl build-essential m4 ocaml opam
参考：
http://zh.wikibooks.org/wiki/User:Gqqnb/OCaml%E5%85%A5%E9%97%A8%E6%95%99%E7%A8%8B/%EF%BC%88%E4%B8%80%EF%BC%89%E7%AE%80%E4%BB%8B
let ratio x y =
Float.of_int x /. Float.of_int y;;
val ratio : int -> int -> float =
下面一行是ocaml编译器给出的函数模型，
因为ocaml中将function视为一种value，因此会有val ratio，代表ratio是一个value.
:后面表示的是value的类型，可见这个value的类型，是将一个int转化成另外一个int，再将新的int转化成float，这似乎与我们定义的逻辑不符合，但是事实是，ratio x y 可以被视为
val ratio1 : int -> int =
val ratio2 : int -> float =
let ratio x y =
(ratio1 x) y
而(ratio1 x)本身返回就是一个function，因为function可以看作是value，所以可以被返回。
而(ratio1 x)返回的函数正是(ratio2).
tuple
let tuple_a = (3, "Three");;
val tuple_a : int * string = (3, "Three")
这里面对于tuple的类型给出的是用*连接的，*代表笛卡尔积，因为tuple可以是所有int和string类型的笛卡尔积。
pattern-matching
比如，我们知道有一个tuple是两个元素的，就可以使用(x, y)这种方式来提取其中的内容，这就是pattern-matching.
tuple vs list
tuple用于表示固定数目的不同类型元素的组合；
list用于表示任意数目的同种类型元素的组合。
tuple的元素之间用,来间隔，
而list的元素之间用;来间隔。
labeled argument
贴上了标签的参数，比如~f，这样可以使用名称而不是pos来标识参数。
list pattern-matching
[]和::用于list的元素中的模式匹配，这种匹配是左提取的。
match xxx with | | |匹配
类似于C++中的switch
recursive list functions
里面有两种case：
base case,
inductive case。
这类似于数学中的数学归纳法。
options
代表着一些参数可以存在，也可以不存在。
Some和None是创建optional value的构造函数。
然后可以通过
match option with
| Some x –>
| None –>
来检查option的值，并且根据情况作出处理。
如果指明类型时，某个类型是option，必须显式指明。
比如, 一个tuple，其中第一个允许是option
string option * string
Pervasives模块
默认每个ocaml程序都会打开这个模块。
let以及value的作用域
顶层的let是global作用的，而let里面的let是local的，而且必须配合in使用。
定义数据结构records
type point2d = {x:float ; y:float};;
可以使用下面三种pattern-matching来提取record中的元素
let func_a {x = x_pos; y= y_pos} =
x_pos + y_pos;;
let func_b { x;y } =
x + y;;
let_func_c v1 v2 =
v1.x + v2.x;;
variant type
变种类型，提供了不同实现类型在逻辑上的聚合。
可以理解为基类的抽象。
type shape =
| Circle of circle_imp
| Rect of rect_imp
| Triangle of triangle_imp;;
然后可以通过
match shape_a with
| Circel cir -> ...
| Rect rect -> ...
| Triangle tri -> ... ;;
来执行不同的操作。
这与option很相似。