OCaml如何知道= apply_n f n x = ...是赋值而= n = 0是比较吗？

Question

问题如题目中所述OCaml如何知道= in apply_n f n x = ...是赋值而= n = 0是比较？

Answer 1

使用let关键字引入定义，该关键字向解析器提示下一个=用于定义，而不是相等比较。

# let f x y = x + y;;
val f : int -> int -> int = <fun>
# f 1 2 = 1 * 2;;
- : bool = false