学习OCaml---（0）环境安装

OCaml简介

ocaml是一种编程语言。

通用的，强类型，静态类型。

ocaml是函数范式为主体的编程语言。比肩者：Haskell, Scala, Clojure, Lisp等。

ocaml 来源于 caml，属于ML家族。

ocaml语言很成熟，有大量的优质库资源，因而比haskell更切合实际。

目前比较小众化，但它的引擎有强大的能力，其强大来源于数学。已用于严谨、苛刻的项目，如金融领域。

Ocaml的安装

官网：http://ocaml.org

下载for windows版本的，cygwin环境或独立环境均可。

安装包为exe自动解压缩的，直接安装就可以。比如：ocpwin32-20141117-full-mingw32-4.01.0+ocp1.exe

安装后验证：

cmd窗口中输入：ocaml，显示：

这样就成功了。

输入：1+2;;

注意用两个分号结尾，回车，就开始计算了。

exit 0;;

可以退出环境。

使用IDE

ocaml的IDE可以使用Eclipse + 插件的方式。

下载较新版本的Eclipse，比如：4.4版的 Luna

到网址：http://www.algo-prog.info/ocaide/plugins/

下载：ecipse插件。例如：

Ocaml.help_1.2.11.201406141244.jar

Ocaml_1.2.21.201406141244.jar

然后执行如下步骤：

1.  确认目前使用的是jdk1.7以上版本。

2. 安装cygwin，这个到处都有，最好从官网在线安装。

3. 把cygwin\bin 目录加入到系统path

4. 把eclipse插件包丢入到：eclipse的 dropin 目录下。

5. 启动eclipse

6. 配置

eclipse菜单：windows | preferences，配置ocaml节点：

 至此，环境安装结束。

hello，world

File | new | others  展开OCaml节点，选：Ocaml Project (Ocamlbuild)，起名 p1

其上右键，新建： module， 起名 a

在a.ml 中编辑：

let f a = a + 1;;print_int (f 10)

在左边，项目p1上右键，properties

然后，项目会自动编译。

展开build节点，如下：

有运行结果就对了。

还可以查看ocaml标准库中定义的内容及使用帮助：

展开节点，就可以看帮助了：