Question

我有一个辅助函数，如下所示：

let rec helper2 nfa l symb res =
        match l with
        | [] -> res
        | h::t -> res@(transitions nfa.trans symb h) in
                       helper2 nfa t symb res

现在，当我尝试编译它时，它在最后一行给出了一个未绑定值错误，说 nfa 是未绑定值。我只是尝试使用具有相同 nfa 的递归函数，所以我不知道为什么我不断收到此错误。我在代码的不同部分也多次遇到此错误。任何帮助表示赞赏！

Answer 1

@octachron 告诉你的是 OCaml 中没有像这样的表达式：

a in b

但这似乎是您的代码所要求的：

res@(transitions nfa.trans symb h) in
                   helper2 nfa t symb res

我们很难提供更多帮助，因为您的代码应该做什么并不完全清楚。让我们假设对 helper2 的递归调用应该为 res 返回一个新值，并且您希望在当前代码具有 res 的地方使用这个新值。那么这样的事情可能会奏效：

let res' = helper2 nfa t symb res in
res' @ transitions nfa.trans symb h

没有 expr1 in expr2 形式的表达式，但此处有 let var = expr1 in expr2 形式的表达式。

在 OCaml（以及一般的函数式语言）中，您需要考虑定义新变量而不是修改现有变量。 res 之类的变量无法修改；它不可改变地绑定到一个特定的值。但是您可以计算一个新值并改用新值。

Answer 2

你的格式是在骗你。函数的正确格式是：

let rec helper2 nfa l symb res =
  match l with
  | [] -> res
  | h::t -> res@(transitions nfa.trans symb h)
in
helper2 nfa t symb res

这可能不是您想要的。在您的工作流程中设置自动格式化（或缩进）工具可能很有用。

为什么这个辅助函数会给我一个未绑定的值错误？

2 个答案: