在io.write_list（List（整数），＆＃34;，＆＃34;，OutputPred，！IO）中，什么是OutputPred？我试图显示一个整数类型的列表。该列表最初从不为空。
答案 0 :(得分：3)
io.write_list（MyList，“，”，io.write，！IO），其中MyList是一个类型为integer的列表，将导致打印/显示MyList成员。每个成员具有以下显示格式i（1，[integer_value]），因此它是一个难以出现的输出，但是正确的。空列表不打印任何内容，也不会导致错误。
另一种选择是io.write（MyList，！IO）并产生相同的结果。
关于OutputPred的问题的答案是io.write。 io.print也有效。
此信息来自Mercury.org
答案 1 :(得分：0)
以下Mercury代码将以更常见的形式显示/打印Integer类型列表：[10,9,8，...，2,1]。
io.write_string（string.join_list（＆＃34;，＆＃34;，map（integer.to_string，My_List）），！IO）。
方括号必须单独添加，并且可以使用前导和尾随io.write_string命令获得。
有效。 My_List是一个整数类型的元素列表。
此信息来自Mercury.org