如何格式化标准 ML 打印输出？

Question

我正在尝试在标准 ML 中格式化一些输出。我需要显示一些四舍五入到特定小数位的实际值，并且我还需要能够使用科学记数法显示一些实际值。

打印函数的签名是

val it = fn : string -> unit

这似乎不允许使用格式化代码或任何其他参数。我也没有运气在网上找到文档。理想情况下，我希望 SML 中的 print 函数具有与 C 中的 printf 类似的功能......

Answer 1

标准机器学习是一种静态类型语言。很难以printf类型安全的方式制作类似的东西。

SML基础库包含一些数字格式化操作。但使用它们相对冗长并且相对难以弄清楚。例如，要将实数格式化为小数点后 3 位科学记数法的字符串，可以执行以下操作：

Real.fmt (StringCvt.SCI (SOME 3)) 4324423423.5; (* evaluates to string "4.324E9" *)

丑陋吧？

一些实现提供其他格式化方法。例如，SML/NJ 具有Format允许您使用 -printf样式格式化字符串的结构。但是，参数必须根据其类型进行包装：

Format.format "%.3e" [Format.REAL 4324423423.5]; (* evaluates to string "4.324e09" *)

其他 SML 实现可能有自己的自定义格式化函数。