如何删除标准ML中列表中的最后一个元素?我有一个列表定义为:
val list = [1, 4, 6, 8, 9]
Run Code Online (Sandbox Code Playgroud)
我想删除最后一个元素,并在列表中val list.
那么你有各种各样的方法.
您可以将原始列表分开,并开始使用元素构建新列表,直到到达最后一个元素.
fun f [] = ...
| f [x] = ...
| f (x::xs) = x :: ...
Run Code Online (Sandbox Code Playgroud)或者您可以使用List.take函数从列表中获取前i个元素.显然,您可以使用List.length函数来计算您不希望从列表中获取的元素数量.
fun h xs = List.take (xs, ...)
Run Code Online (Sandbox Code Playgroud)