【OCaml】教程1

1. 符号

小时候，当别人在问你3+4的时候, 你会怎么做？

你会伸出手指左手伸出3根手指，右手伸出4个手指，然后一个一个数，最终你数了7根手指，

这个过程就是将符号转换成模型的过程。3和4就是一个符号, 而手指就是一个模型

2. 表达式

表达式的定义：

• 每一个符号都是一个表达式
• 表达式相加依然是一个表达式
• 表达式相减依然是一个表达式
• 表达式相乘依然是一个表达式

在OCaml中每一个表达式以;;结尾，如下：

1;; 
2;;
1 + 2;;
3. +. 1.;;

在上面我们发现最后一个表达式比较奇怪，这是因为OCaml这门语言关于浮点的表示和相关操作都需要在后面加上一个点。

3. 变量的绑定

因为有时候表达式过于的长，我们需要将这些表达式进行拆分，然后将这些中间结果用一些代号表示
比如我们有下面这样的表达式：

1 + (2 + 3) * 4  /  2;;