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

Question

In 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命令获取。

它有效。My_List 是整数类型的元素列表。

此信息是从 Mercury.org