有人可以帮我写一个函数来删除列表中的元素:
drop 3 [1,2,3,4,5] ==> [4,5]
所以这个会先放下三个元素。
答案 0 :(得分:1)
您可以使用内置函数List.drop
,或者,如果您想自己编写,出于某种原因,请执行以下操作:
fun drop 0 L = L
| drop n [] = raise Range
| drop n (x::xs) = drop (n - 1) xs
答案 1 :(得分:0)
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