如何删除标准ML中列表中的最后一个元素?我有一个列表定义为:
val list = [1, 4, 6, 8, 9]
我想删除最后一个元素,并在列表中val list.
val list
ml sml
ml ×1
sml ×1