sml - 在标准 ML 中，您如何捕获像 "Error: unbound variable or constructor: foo"这样的异常？

Question

我有一个新手问题:在标准 ML 中，您如何捕获“错误:未绑定(bind)的变量或构造函数:foo”之类的异常？

我尝试使用以下程序来做到这一点:

(foo())
handle Error msg => ();

但 REPL 提示:“错误:非构造函数应用于模式中的参数:错误”

提前致谢。

Answer 1

首先是handle Error => ... (或 handle error => ... 或 handle TheSpecificExceptionIWantToCatch => ... )，而不是 handle Error msg => ... .你只能写handle Foo msg => ...如果 Foo是一个有一个参数的构造函数，正如错误消息所暗示的那样，Error不是。

其次“未绑定(bind)变量”是编译错误，不是异常，所以无法捕获。