退出、中止、睡眠以进行调试？
exit, abort, sleep for debugging?
在 Prolog 中，您可以激活跟踪模式进行调试。显然在 ML 中没有这样的东西。是否至少有 exit() 或 abort()？当与调试打印语句结合使用时，sleep() 也可用于近似 Prolog 的跟踪模式。
要强制退出，可以使用OS.Process结构：
OS.Process.exit OS.Process.success;
另请注意 Poly/ML 确实有一个很好的 debugger。
在 Prolog 中，您可以激活跟踪模式进行调试。显然在 ML 中没有这样的东西。是否至少有 exit() 或 abort()？当与调试打印语句结合使用时，sleep() 也可用于近似 Prolog 的跟踪模式。
要强制退出，可以使用OS.Process结构：
OS.Process.exit OS.Process.success;
另请注意 Poly/ML 确实有一个很好的 debugger。