OCaml的：绑定表达式v功能

Question

在这里，我们有一个函数定义：

let f x = x + 3;; 

这里是一个表达式：

let g = 4;; 

能g只是被认为是常数函数不带参数的？有什么区别吗？

Answer 1

是 - 从完全功能的角度（如哈斯克尔实践），一切都是函数（Really everything）。

而且由于纯粹的功能语言不允许任何类型的变化，这个定义没有任何矛盾。

有什么区别吗？

那么，OCaml不是纯粹的功能。这意味着这些功能可以执行与恒定值定义不同的副作用。

这段代码（这里的F＃ - 但在Caml中非常相似）完全有效。

let name = 
    Console.Write("Enter your Name: ") 
    Console.ReadLine() 

Answer 2

技术上，定义变量是模式匹配：

let [x] = someList 
let y::zs = someList 
let (Some z) = someOption 
let _ = someIgnoredExpr 

Answer 3

在非纯语言

let f() = expr 

和

let f = expr 

之间的差别在于'expr'的'效果'运行在ev处在前一种情况下为“呼叫站点”，在后一种情况下仅在定义站点一次。这是两者之间的少数差异之一，但也许是最重要的。