如何解决在标准ML中声明相互依赖的值和函数
如何在标准ML中相互定义函数和值?
以下程序:
val cmds = [("help",cmd_help)];
fun cmd_help () = List.app (fn cmd => print (#1 cmd ^ "\n")) cmds;
cmd_help ();
不编译:
$ mlton example.sml
Error: example.sml 1.22-1.29.
Undefined variable: cmd_help.
是否可以定义cmds
和cmd_help
以便他们彼此了解并且也可以作为顶级定义对程序的其余部分公开?
解决方法
有趣的问题,最明显的方法是使size
为单一函数,然后像在正常的一对递归函数中那样在cmds
中对其进行调用。
cmd_help
人们希望您可以扭转局势,将fun cmds () = [("help",cmd_help)]
and cmd_help () = List.app (fn cmd => print ((#1 cmd) ^ "\n")) (cmds ());
cmd_help ();
视为一个值。确实,语法似乎也可以解析。
cmds_help
但是,当您在工作中添加相互递归时,它实际上并不会编译(我用 MLton 和 smlnj 尝试了以下内容)。手动声明类型,因为推断效果不佳。
val a = ()
and b = fn () => ()
最后一种情况导致:
错误:未绑定变量或构造函数:cmds_v
错误:未绑定变量或构造函数:cmd_help_v
所以现在的问题是,为什么这行不通 如果我们看值绑定一节,第42页的 The Definition of Standard ML (Revised) 在脚注25中说
(25)当存在该选项时,由于语法限制,我们有Dom VE∩Dom VE'=∅。
因此,对于函数使用val cmds_v : (string * (unit -> unit)) list = [("help",cmd_help_v)]
and cmd_help_v : unit -> unit = fn () => List.app (fn (cmd: string * (unit -> unit)) => print ((#1 cmd) ^ "\n")) (cmds_v);
可以相互递归,对于值使用and
可以确保值环境不相交。
A,我不知道如何在不提升功能价值的情况下做到这一点。
,我认为最好的解决方案是将函数包装在 ref
访问中,如下所示:
val cmd_help_ref : (unit -> unit) ref
= ref (fn _ => raise Fail "cmd_help not bound");
fun cmd_help () = !cmd_help_ref ();
val cmds = [("help",cmd_help)];
cmd_help_ref := fn () => List.app (fn cmd => print (#1 cmd ^ "\n")) cmds;
cmd_help ();
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。