如何删除标准ML 中列表中的最后一个元素? 我有一个列表定义为:
val list = [1, 4, 6, 8, 9]
我希望删除最后一个元素并将列表放在val list
。
答案 0 :(得分:5)
你有多种方法可以做到这一点。
您可以将原始列表分开,然后开始使用元素构建新列表,直到到达最后一个元素。
fun f [] = ...
| f [x] = ...
| f (x::xs) = x :: ...
或者您可以使用List.take函数从列表中获取前i个元素。显然你可以使用the List.length函数计算你不想从列表中取出多少元素。
fun h xs = List.take (xs, ...)