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));