如何在SML中将单位数据类型转换为字符串

Question

基本上我想通过我自己的结构和签名打印单位数据类型的东西，因为它的数据类型是单位，我想“显示”它。

所以我需要“打印”它。

我尝试了unit.to String功能，并尝试先将其转换为角色，但无济于事。

print(unit.to String(symex))

-undefined variable或constructor unit.to String

Answer 1

unit类型只有一个值()。也就是说，该值不包含任何信息。

创建unit到string功能非常简单：

fun unitToString () = "()"

由于只有一个可能的值，因此它只能有一个可能的表示形式。

但是，由于该值实际上并不包含任何信息，因此您很可能不希望对unit值进行操作，而是对某些其他值进行操作。