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