OCaml语言学习——引言

OCaml的类型分析被称为“类型推导”或“类型合成”。它是指通过对表达式的分析自动推导出表达式的类型。
OCaml是强类型的语言，他对代码进行严格的类型检查。
OCaml语言的推导能力，例如这个例子，系统对表达式进行类型分析，推导这个表达式是整形，从而确定a的类型为整形。
例子：

在OCaml语言中，一个变量可以合法地重复定义：

每做一次定义，就会把之前的定义覆盖掉，因此，let既不是变量声明，也不是变量赋值，而是动态地建立了变量和值的一个关联。我们可以把这个关联看成是一个对偶：（变量，值）。

在Ocaml中，“—”表示系统对表达式的回应。
在Ocaml中，“val”表示系统对定义的回应。
举个例子：

第一个就是一个表达式
第二个就是一个定义。