如何自定义SML / NJ交互式循环？

Question

我是标准ML的新手，我正试图了解SML / NJ运行时环境。 我想根据我的需要调整它。 具体来说，我想：

• 默认情况下使用IntInf
• 防止它将字符串和IntInf截断为70个字符。

这是我在8个多小时阅读文档和实验中发现的内容。

我可以使用命令在Int的顶部重载IntInf

open IntInf;

我可以使用变量Control.Print.stringDepth控制字符串中显示的字符数。 例如，这将允许它在截断之前显示1000个字符：

Control.Print.stringDepth := 1000;

我如何为IntInf值做同样的事情？ 我可以将深度设置为无限（即根本没有截断）吗？

打开IntInf是使用IntInf重载int的最佳方法吗？

最后，如何在运行时自动加载所有这些，以便当我调用“sml”时它在我的默认环境中？

---

编辑：我发现有一个名为Control.Print.intinfDepth的选项可以设置为一个大数字（例如，999999）。 不过，我不知道如何让它变得无限。

我的其他问题仍然没有答案。

---

编辑：我在堪萨斯州的一个班级遇到了这套SML / NJ自定义 。 要显示我自己的横幅消息并避免显示“val it = true：bool”，我需要测试SMLofNJ.exportML的返回值。 如果是真的，堆映像刚刚恢复（即启动），我可以显示一条消息。 如果它为假，则只保存堆图像。

Answer 1

如何在运行时自动加载所有这些，以便当我调用“sml”时它在我的默认环境中？

您需要创建一个由sml脚本运行的堆映像 ，然后您可以将其符号链接到该脚本。 为了避免引导的复杂化，我通常给我的堆图像一个不同的名称; 例如; sml-nw for SML / NJ，支持noweb 。

创建堆映像所需的基本原语是SMLofNJ.exportML 。 以下是您使用它的方式：

1. 按照您希望的方式设置所有内容，例如， open IntInf并设置所有Control.Print变量。 （你可以尝试将Control.Print的things to设置things to valOf Int.maxInt`，这是最接近无穷大的东西。）

2. 通过SMLofNJ.exportML "mysml"创建一个新的堆映像。 当您启动自定义版本时，您将在调用exportML后立即开始。 阅读文档 。 玩耍; 有很多方法可以使用这个原语。

3. 堆图像（也许复制mysml.x86-linux ）为堆图像的安装目录（在我安装， /usr/lib/smlnj/bin/.heap ，但是你可以按照线索sml脚本可以肯定的）

4. 创建一个脚本mysml ，它是sml脚本的符号链接。

在过去，这已经足够了，但我已经好几年没有使用过SML / NJ了。 我还在网上发现了一个有点过时的例子 。

Answer 2

这有帮助吗？

http://archives.devshed.com/forums/programming-132/big-integers-in-sml-nj-97t-316791.html

关于无限问题不确定。