SML - 列表中的最后一个

Question

我想要SML列表中的最后一个值。

例如，1::2::3 => 3

我尝试使用 “最后一次”，但没有奏效。

我试图实现它，就像这样：

val rec last = 
    fn (h::list) => last (list) 
     | (h::nil) => h 
     | (nil) => nil; 

但它给我的问题：匹配冗余。

谢谢你的帮助。

Answer 1

我怀疑(h::nil)的情况是多余的，因为它是(h::list)的特殊情况。我想你应该重新安排你的对手的情况：

exception Empty 
    val rec last = 
     fn (h::nil) => h 
      |(h::list) => last (list) 
      | (nil) => raise Empty; 

顺便说一句，List.last应该工作，因为它是SML基本库的一部分。

Answer 2

也可以做到一样容易为：

exception Empty 
fun lastinList [] = raise Empty 
| lastinList l = hd(rev(l));