47、OCaml语言入门：特性、语法与应用实例

OCaml语言入门：特性、语法与应用实例

1. OCaml简介

OCaml是ML家族语言中的重要成员，由法国国家计算机研究机构INRIA的研究人员从20世纪80年代开始开发。在20世纪90年代引入面向对象特性时，名称中添加了“O”。OCaml以INRIA实现的高效性和广泛的商业应用而闻名，尤其在金融行业备受欢迎。

OCaml的发行版包含字节码编译器（附带虚拟机）和针对多种机器架构的优化原生代码编译器。其解释器既可以交互式使用，也可以执行预先编写好的程序，通过不断从标准输入读取表达式，对其进行求值，并打印结果值。

1.1 与解释器交互

在OCaml解释器中，用户输入表达式，解释器会对其求值并输出结果。例如：

3 + 4;;

解释器会输出：

- : int = 7

这里的双分号用于表示“顶级形式”的结束，即最外层作用域中的表达式。若用户输入已完全求值的表达式，如：

7;;

解释器同样会输出：

- : int = 7

此外，程序员可以使用以下指令让解释器从文件加载代码：

#use "mycode.ml";;

其中，初始的井号表示这是对解释器的指令，而非要求值的表达式。 </