我写了一个泛型函数，现在我想要泛型变量的字符串表示。有没有简单的方法来获得它们？
例如：
fun arg:(string*'a) = (#1 arg) ^ toString((#2 arg)
这就是我想要做的基本。
("hello", true")因此，如果用我想要“hellotrue”调用该方法。如果有更复杂的结构，我希望尽可能打印出来。
问问题
170 次
1 回答
2
最简洁的答案是不。
与 Haskell 不同，SML 没有类型类，也无法派生新类型的展示等。
“唯一”的方法是为您创建的每种类型创建一个特定的 show 或 toString 函数。我说“只有”，因为 MLton 有一篇关于类型索引值的非常好的文章
于 2013-01-20T15:38:55.650 回答