为什么 let 中定义的函数可以在函数外使用？

Question

这是《compiling with continuations》第16页的代码（我重写了f#）：

let (x,y)=
  let g(a,b:int,c)=a+c in
  (g,g(1,2,3))

所以x可以是let中定义的函数g。

根据ml语法可能没问题，但是在“工程实践”中，似乎函数的“let in”中定义的函数，或者Haskell中的where和let，它应该是“私有”，就像oo语言一样，应该是函数中使用的“工具函数”。

那么示例代码对吗？也许程序可以运行，但我认为这不是一个好习惯； ml 应该阻止它，比如使用“private”。

Answer 1

OCaml 中的函数是一等值。从函数返回函数没有问题。

一切都被完美定义（本质上它具有 lambda 演算的语义）。当被视为一个值时，函数带有它需要的环境（即，它是一个闭包）。

我个人认为返回函数比返回数据结构有更多问题。如果您获得了 OCaml 的经验，您可能会开始以这种方式看待它。