我可以将 IntInf 转换为 String 吗?

Can I turn IntInf to String?

所以,我正在用 SML 编写程序。它工作得很好,但是当应用非常大的整数时,它会产生这个错误:

     uncaught exception Overflow [overflow] 
        raised at:Basis/Implementation/num-scan.sml:268.20-268.28

我认为我应该使用 IntInf 结构而不是 int。 但是由于在我的程序中我将整数转换为字符串,反之亦然,我如何将 IntInf 转换为字符串?

使用IntInf.toString:

$ sml
Standard ML of New Jersey v110.79 [built: Tue Aug  8 23:21:20 2017]
- IntInf.toString 1234567890123456789012345678901234567890;
[autoloading]
[...]
val it = "1234567890123456789012345678901234567890" : string

我实际上认为这会产生解析错误,因为整数文字太大而无法容纳标准的 31 位整数,并且有必要 open IntInf 以便类型 int 被类型 IntInf.int 覆盖。但似乎 SML/NJ 这种方式很灵活,而且这显然不是必需的,至少在 REPL 中不是这样。

您也可以从更小的 31 位整数构造它:

- IntInf.pow (IntInf.fromInt 2, 64);
val it = 18446744073709551616 : IntInf.int

这里的文字 264 适合函数:

- IntInf.fromInt;
val it = fn : int -> IntInf.int

- IntInf.pow;
val it = fn : IntInf.int * int -> IntInf.int

因此,虽然在 SML/NJ 中重载了整数文字,因此它们可以直接表示 IntInf 或 31 位整数,您也可以构造 IntInf 而无需引用这样的文字,使用纯粹的较小整数和库函数(因此 IntInf 更多地被视为抽象类型)。并不是说这是必要的。