我仍在试图理解 OCaml 中的值限制，我正在阅读 Wright 的论文。在其中，states 不是一个语法值，同时它还声明 lambda 表达式应该是一个值。我在这里有点困惑，本质上不也是一个lam...