问题标签 [smlnj]

我浏览了SMLNJ 用户指南，找不到任何关于调试功能的信息。我很想看到一个堆栈跟踪，或者单步执行一个函数。这可能吗。是否有其他提供此功能的类似 SML 变体的实现？

在 SML 中执行命令后，返回“it”，其中包含命令返回的数据和类型。例如：

假设我在这样的程序中有一个绑定：

有没有办法以与“it”的打印方式类似的方式打印“argsToOutput”的值和数据类型（在程序中间）？

我真的很喜欢在大学学习机器学习。我发现函数式编程通常是编写某些算法的一种令人耳目一新的优雅方式。我听说过 F# 并且玩过它。尽管如此，我还是在 ML 中编写了一些有趣的函数，并希望将它们集成为可以在其他应用程序中使用的库。

通常我将我的函数粘贴到 SMLnj 解释器中。有没有办法可以将它们编译下来？

标准 ML 是否有 Java BigInt 等价物？正常的 int 类型在溢出时会抛出异常。

我正在用标准 ML (SML/NJ) 编写一个“脚本”，根据我的喜好设置交互式环境。脚本做的最后一件事是打印出一条消息，表明一切顺利。本质上，最后一行是这样的：

当我运行脚本时，一切顺利，但 SML 解释器显示打印函数的返回值。

由于我只是在屏幕上打印一些东西，我怎样才能抑制“val it = () : unit”输出，以便我看到的只是“SML 准备就绪”消息，然后是解释器提示？

例如，而不是

我宁愿有

用于

显然我可以自己做这件事，例如，

但我想确保我不会错过更优雅的方式。

我想将签名/结构对放在结构中，如下所示：

但即使是最简单的示例也会产生错误：

似乎在结构内不允许签名。实现此功能的最佳方法是什么？

是否可以编写具有动态类型输入参数的函数？我尝试了模式匹配，但显然它不是这样工作的。

我想做这样的事情：

谢谢你。

我在使用 SML/NJ 交互系统时遇到了一些问题，即当我尝试使用我的箭头键（向左或向右更正我输入的表达式，直到重复最后一个表达式）时，我的终端打印代码。^[[A（例如^[[D左上角等）。虽然我仍然可以使用该系统，但它使它非常乏味。

我在 Control.Compiler 中环顾四周，有什么我遗漏的吗？不管它值多少钱，我都在使用 Mac 终端。

谢谢^_^

我正在学习机器学习，使用 SML/NJ 方言。我想弄清楚的是是否有行注释运算符。我找到了块注释运算符 (* ... *)，但我真的很怀念行注释。

建议？还是我只是停留在块评论中？