如何在 SML 中的 case 语句中打印？答案

【问题标题】：How do you print inside a case statement in SML?如何在 SML 中的 case 语句中打印？
【发布时间】：2010-10-19 01:07:39
【问题描述】：

我刚开始使用 SML，我正在尝试修改一些代码，以便了解它在做什么（我找不到像样的 SML/NJ 调试器，但这是一个单独的问题）。

fun type_check e theta env non_gens = 
  case e of
   constant_int _ => (integer,theta) 
  | 
   constant_bool _ => (boolean,theta) 
  | ...

假设这是一个有效代码，其中 constant_int 是已声明的数据类型的一部分，等等。如何添加一个打印语句来表示“返回“整数””？我试过了：

...
constant_int _ => (print "returning integer") (integer,theta)
...

但我明白了：

标准输入：167.22-167.65 错误：运算符不是函数 [tycon 不匹配] 操作员：单位表达：（打印“返回整数”）（整数，θ）

我想我只是不明白如何执行一系列语句，只有最后一个应该被视为返回值。有什么建议吗？

另外，我将如何打印我自己的数据类型值？当我尝试将数据类型值传递给 print() 时，SML 不喜欢，所以我可能必须为每个数据类型创建一个新的打印函数，对吗？

【问题讨论】：

标签： sml smlnj

【解决方案1】：

您可以使用分号“执行一系列语句，只有最后一个应该被视为返回值”。

...
constant_int _ => ( print "returning integer"; (integer,theta) )
...

在这种情况下，我们需要将语句序列包裹在括号中，因为分号的优先级低于 case 表达式，所以如果我们没有括号，它会认为 case 表达式结束在分号处，并且整个 case 表达式是序列的一部分，在这种情况下，这不是您想要的。

【讨论】：