标签：
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一下，提升权限。
3. 添加“库来源”，然后安装 opam
cd /etc/yum.repos.d/ wget http://download.opensuse.org/repositories/home:ocaml/CentOS_7/home:ocaml.repo yum install opam
4. 可以退出su状态，回到普通用户模式来使用opam了
opam是一个ocaml源代码包管理工具，可以自动下载、编译、管理版本等。
标签：
原文地址：http://www.cnblogs.com/gyhang/p/4767138.html
