function - OCaml:绑定(bind)表达式与函数

Question

这里我们有一个函数定义:

let f x = x + 3;;

这是一个表达式:

let g = 4;;

是否可以将 g 视为不带参数的常量函数？有什么区别吗？

Answer 1

是的 - 从完全函数的角度来看(就像在 Haskell 中实践的那样)，一切都是函数 ( Really everything )。

由于纯函数式语言不允许任何类型的更改，因此这个定义不存在任何矛盾。

Is there any difference?

嗯，OCaml 并不是纯函数式的。这意味着函数可以执行与常量值的定义略有不同的副作用。

这段代码(这里是 F# - 但在 Caml 中非常相似)是完全有效的。

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