在 SML 中打印列表

Question

我想在帮助函数中打印一个列表，用于调试目的。由于某种原因，它没有打印任何东西。有谁知道怎么回事？
这是我的一些代码：

local
....
and xx(LparenToken) = "LparenToken"
| xx(RparenToken) = "RparenToken"
| xx(QuoteToken) = "QuoteToken"
| xx(DotToken) = "DotToken"
| xx(VectorToken) = "VectorToken"
| xx(IntToken(a)) = "IntToken"
| xx(CharToken(a)) = "CharToken"
| xx(StringToken(a)) = "StringToken"
| xx(SymbolToken(a)) = "SymbolToken"
| xx(BoolToken(a)) = "BoolToken"

and readList(nil) = []
| readList(lst:SchemeToken list) = (map(print)((map(xx)(lst))); read(getFirstSexpr(lst))::readList(getRestSexpr(lst)))
...
in
    some functions..
end

我也试过这个：

and readList(nil) = []
| readList(lst:SchemeToken list) = (print "x"; read(getFirstSexpr(lst))::readList(getRestSexpr(lst)))

它没有打印。我得到了答案：

- Reader.stringToSexpr "#(a b (1 2 3) c)";
val it =
  Vector
    [Symbol "a",Symbol "b",Pair (Number 1,Pair (Number 2,Number 3)),
     Symbol "c"] : Sexpr

Answer 1

我怀疑问题不在于您的列表打印代码 - 只要使用一些数据调用它就可以正常工作。

作为参考，有一个更好的方法来评估列表的效果：List.app : ('a -> unit) -> 'a list -> unit。就像List.map，但它不构造一个列表作为返回值。另一个你可能喜欢的是String.concatWith，它通常使打印代码更容易，例如：

print (String.concatWith "\n" (map xx lst))

最后一点，您在示例代码中使用了许多不必要的括号。你很少需要括号表达式 - 特别是如果没有函数应用程序涉及（即，写(lst)或(xx)总是意味着lst或xx，并且不会解决任何歧义（因为有是无）。类似地，在您的模式中，它们可以很容易地写成(IntToken a) 而不会改变含义（并可能增加可读性）。