【发布时间】:2013-04-19 11:15:18
【问题描述】:
如何在标准 ML 中删除列表中的最后一个元素? 我有一个列表定义为:
val list = [1, 4, 6, 8, 9]
我想删除最后一个元素并将列表放在val list 中。
【问题讨论】:
-
您能解释一下您的尝试吗?
如何在标准 ML 中删除列表中的最后一个元素? 我有一个列表定义为:
val list = [1, 4, 6, 8, 9]
我想删除最后一个元素并将列表放在val list 中。
【问题讨论】:
好吧,您有多种方法可以做到这一点。
您可以将原始列表拆开,然后开始使用元素构建一个新列表,直到到达最后一个元素。
fun f [] = ...
| f [x] = ...
| f (x::xs) = x :: ...
或者您可以使用List.take 函数从列表中获取前i 个元素。显然你可以使用the List.length 函数来计算你不想从列表中取出多少元素。
fun h xs = List.take (xs, ...)
【讨论】: