我可以将 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
这里的文字 2
和 64
适合函数:
- IntInf.fromInt;
val it = fn : int -> IntInf.int
- IntInf.pow;
val it = fn : IntInf.int * int -> IntInf.int
因此,虽然在 SML/NJ 中重载了整数文字,因此它们可以直接表示 IntInf
或 31 位整数,您也可以构造 IntInf
而无需引用这样的文字,使用纯粹的较小整数和库函数(因此 IntInf
更多地被视为抽象类型)。并不是说这是必要的。
所以,我正在用 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
这里的文字 2
和 64
适合函数:
- IntInf.fromInt;
val it = fn : int -> IntInf.int
- IntInf.pow;
val it = fn : IntInf.int * int -> IntInf.int
因此,虽然在 SML/NJ 中重载了整数文字,因此它们可以直接表示 IntInf
或 31 位整数,您也可以构造 IntInf
而无需引用这样的文字,使用纯粹的较小整数和库函数(因此 IntInf
更多地被视为抽象类型)。并不是说这是必要的。