在标准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 ();