如何解决为什么这个辅助函数会给我一个未绑定的值错误?
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 的递归函数,所以我不知道为什么我不断收到此错误。我在代码的不同部分也多次遇到此错误。 任何帮助表示赞赏!
解决方法
@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
之类的变量无法修改;它不可改变地绑定到一个特定的值。但是您可以计算一个新值并改用新值。
你的格式是在骗你。函数的正确格式是:
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
这可能不是您想要的。 在您的工作流程中设置自动格式化(或缩进)工具可能很有用。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。