用户:Renamed user 63506961370/OCaml入门教程/（一）简介

网络的中文圈里，有一些零星的OCaml介绍或教程，但大多都不成系统。OCaml的中文书籍也很少，所以要学习的需要看英文。在这几片系列文章里，我将翻译一些英文资料，并加入自己的理解，希望能够写成一部比较完整的入门教程。

简介

OCaml是函数式的编程语言，与C/C++/C#/Java不同。OCaml原来称为Objective Caml，而Caml又是ML的方言（ML不是Make Love）。ML诞生自1973年，OCaml诞生自1996年。

从TIOBE编程语言排名来看，OCaml很少进入前50名，至少2013年10月没有。OCaml有个地方很吸引人，就是它的运行速度很快！根据xiaoR的测试，在不优化时，OCaml的速度是C的1.75倍；在优化时，OCaml是C的9.5倍（OCaml运行时间0.002s）。在另一项测试中，OCaml和C旗鼓相当。

• OCaml可以编译为字节码（类似C#的中间语言或Java的字节码）；也可以编译为本地代码，这点C#做不到。
• OCaml可以编写图形界面程序。
• OCaml没有像C#那样有专门的集成开发环境——Visual Studio。

搭建开发环境

在Windows里，去OCaml官网下载安装文件，安装即可。编写的话我用Vim。

OCaml有顶层环境（Toplevel），用来即时执行代码。在cmd里输入ocaml，就进入了顶层环境。在#号后面输入1 + 2 * 3;;顶层环境就会返回- : int = 7。

将以下代码写入D:\hello.ml，然后输入#use "D:\\hello.ml";;就在顶层环境里编译并执行代码，你会看到Hello World!输出在屏幕上。

 print_endline "Hello World!"

编译代码不是在顶层环境里。如果你已经进入顶层环境了，在井号后面打#quit;;就可以退出。

下面的命令把hello.ml编译成字节码

$ ocamlc hello.ml -o hello.exe

下面的命令把hello.ml编译成优化过的本地代码

$ ocamlopt hello.ml -o hello.exe

然后这么执行：

$ ./hello
Hello World!