mercury - 如何显示长整数列表？（水星语言）

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

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

此信息来自 Mercury.org