Ocaml是函数语言。Lisp, Haskell,clojure,scala等也是。
函数式语言的特色是：函数本身是“第一等公民”，它可以被当做参数传递，被当做参数返回。
函数式语言之所以“回暖”可能是因为当前多cpu，分布式，并行计算对软件如何处理并发提出新的挑战。
函数式在并发上有天然优势。
在函数式语言中，Ocaml的主要优势是：
1. 有坚实的学院派理论基础，数学模型严谨。
2. 据称是史上运行速度第二的高级语言（第一毫无疑问是c）
也就是说Ocaml甚至比c++还快。
如何安装ocaml？
windows上下载单一包，直接装，然后控制台： ocaml看到井号(#)提示符就ok了。
如果要跟着著名的《real world ocaml》来学习，只能在Linux上了。
下面说Linux上怎么用。
1. 首先，win7上安装虚拟机 Vmware workstation， 然后在虚拟机里安装 centos-7
2. 启动控制台窗口，准备使用 yum 来安装，需要su一下，输入root密码，提升权限。
3. 添加“库来源”，然后安装 opam
cd /etc/yum.repos.d/ wget http://download.opensuse.org/repositories/home:ocaml/CentOS_7/home:ocaml.repo yum install opam
如果你用的centos-6，当然要把URL对应位置改为6。
4. 安装ocaml
yum install ocaml
根据提示一路yes就可以。
安装好以后，可以验证一下，输入：ocaml，出现井号提示符，就可以了。 exit 1;; 可以退回到控制台。
5. 可以退出su状态了，exit 回到普通用户模式来使用opam
opam是一个ocaml源代码包管理工具，可以自动下载、编译、管理版本等。
（下集待续）