如何在 SML 中打印类型信息？

Question

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

false;  
val it = false : bool

假设我在一个程序中有一个绑定，如下所示：

val argsToOutput = 
  map (fn (Absyn.var_exp(n)) => 
         (lookupReference env n)) 
      exps

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

Answer 1

你可以这样做：

 val argsToOutput = (map (fn (Absyn.var_exp(n)) => 
                               (lookupReference env n)) exps)
 ...
 in
   (print (argsToOutput); 2 )
 end

你拥有 let 主体的值，而不是 2 。 print 可能会在 argsToOutput 上失败，但它会给你找到的类型，其中预期类型是字符串。

当我必须打印出数据类型的值时，我创建了一个 tostring() 函数来获取该数据类型，并将其转换为字符串。 它需要一些工作，因为它有一些嵌套的数据类型，但后来非常有价值，因为它适用于该类型的所有变量。

Answer 2

SML 是静态类型的，因此程序中任何值的类型在编译时都是静态已知的。 当你想“打印出来”时，我不确定你想要什么。

也许你自己看代码并不能弄清楚某个东西的类型是什么。 当您在解释器中直接定义顶层值或使用 use "whatever.sml"; 加载文件时，解释器将告诉您为该值推断的类型。

或者，如果您有一段代码，您可以将其（以及它所依赖的任何代码）发布在这里，我们可以帮助您找出其中特定值的类型。

如果要确保特定值是特定类型，可以使用类型保护：(expression : type) 与 expression 相同，只不过在 type 期间检查它将确保该表达式是该类型。

如果您想以某种方式在运行时获取类型信息，我认为您不能，也不应该需要这样做，因为它在编译时就已经知道了。

Answer 3

有没有办法打印“argsToOutput”的值和数据类型（在程序中间）

否。它在顶层工作，因为编译器保留了编译阶段的类型。 它不适用于从函数体中提取的任意表达式。 但是，如果您足够幸运，拥有一个其值独立于函数的表达式，您可以将其取出并在顶层编写一个 val 绑定并获得您想要的：

- val thing = hd [1, 2, 3];
val thing = 1 : int

这是很差的安慰，因为它涵盖了一些感兴趣的案例。

我想您可能想搜索其他常见问题解答的答案：

1. 如何对我的 ML 程序进行类型检查？
2. 如何确定类型良好的 ML 程序中子表达式的类型？
3. 在 ML 程序中，如何打印用于调试的值？

（答案很难看。）