Warning: file_get_contents(/data/phpspider/zhask/data//catemap/8/redis/2.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_Sml - Fatal编程技术网

List SML函数删除列表中的元素

List SML函数删除列表中的元素,list,sml,List,Sml,有人能帮我写一个函数来删除列表中的元素吗 drop 3 [1,2,3,4,5] ==> [4,5] 因此,这一步将删除前三个元素。您可以使用内置函数列表。删除,或者,如果出于某种原因,您想自己编写,请执行以下操作: Standard ML of New Jersey v110.76 [built: Sun Jul 14 09:59:19 2013] - List.drop ([1,2,3,4], 2); val it = [3,4] : int list fun drop 0 L =

有人能帮我写一个函数来删除列表中的元素吗

drop 3 [1,2,3,4,5] ==> [4,5]

因此,这一步将删除前三个元素。

您可以使用内置函数
列表。删除
,或者,如果出于某种原因,您想自己编写,请执行以下操作:

Standard ML of New Jersey v110.76 [built: Sun Jul 14 09:59:19 2013]
- List.drop ([1,2,3,4], 2);
val it = [3,4] : int list
fun drop 0 L = L
  | drop n [] = raise Range
  | drop n (x::xs) = drop (n - 1) xs

您可以添加一些解释吗?
List.drop
函数的用法如下:
List.drop(L,n)
计算从
L
中删除第一个
n
元素所产生的列表。这是一个SML标准库函数。