Warning: file_get_contents(/data/phpspider/zhask/data//catemap/1/list/4.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
List 在SML中附加列表_List_Append_Sml - Fatal编程技术网

List 在SML中附加列表

List 在SML中附加列表,list,append,sml,List,Append,Sml,我正在尝试使用append函数添加一个int列表和另一个int列表,但是我无法让它以我想要的方式工作 假设我想用[6,7]附加[[1,2,3,4,5]],这样我得到[[1,2,3,4,5,6,7] 下面是我的尝试:[1,2,3,4,5]:[]@[6,7]:[],但它只是给了我一个列表,我想作为它自己的列表附加,而不是两个列表合并成一个,就像这样:[[1,2,3,4,5],[6,7] 如何重新编写操作以使其返回[[1,2,3,4,5,6,7]?您的问题太不具体了。您正在处理嵌套列表。是要将第二个列

我正在尝试使用append函数添加一个int列表和另一个int列表,但是我无法让它以我想要的方式工作

假设我想用
[6,7]
附加
[[1,2,3,4,5]]
,这样我得到
[[1,2,3,4,5,6,7]

下面是我的尝试:
[1,2,3,4,5]:[]@[6,7]:[]
,但它只是给了我一个列表,我想作为它自己的列表附加,而不是两个列表合并成一个,就像这样:
[[1,2,3,4,5],[6,7]


如何重新编写操作以使其返回
[[1,2,3,4,5,6,7]

您的问题太不具体了。您正在处理嵌套列表。是要将第二个列表附加到嵌套列表的每个内部列表,还是仅附加到第一个列表?你的例子不能说明问题

对于前者:

fun appendAll xss ys = List.map (fn xs => xs @ ys) xss
对于后者:

fun appendHd [] ys = raise Empty
  | appendHd (xs::xss) ys = (xs @ ys)::xss

但是,这两个问题几乎都不需要,我不知怎么地觉得,如果你最终解决了这个问题,你是在试图解决错误的问题。

对不起,在这种情况下,只有第一个问题。你是对的,我重新编写了我的代码,现在它按照预期的方式工作。谢谢你让我意识到!