如何显示长整数列表？(水星语言)

Question

在io.write_list(List(integer)，"，"，OutputPred，!IO)中，什么是OutputPred？我正在尝试显示整数类型的列表。该列表最初从不为空。

Answer 1

io.write_list( MyList，"，"，io.write，!IO)，其中MyList是整数类型的列表，将导致打印/显示MyList成员。每个成员都有以下显示格式i(1，integer_value)，因此它看起来很笨拙，但却是正确的。空列表不会打印任何内容，也不会导致错误。

另一种方法是io.write(MyList，!IO)，并产生相同的结果。

什么是OutputPred这个问题的答案是io.write。io.print也可以工作。

此信息是从Mercury.org获取的

Answer 2

下面的Mercury代码将以更常见的形式显示/打印Integer类型的列表: 10，9，8，...，2，1。

io.write_string(string.join_list(“，”，map(integer.to_string，My_List))，!IO)。

方括号必须单独添加，可以通过前后的io.write_string命令获得。

它起作用了。

此信息是从Mercury.org获取的