這種模式似乎面面俱到，但我仍然得到我學習SML警告

Question

，並寫了下面的簡單函數：

(* Return a list with every other element of the input list *) 
fun everyOther [] = [] 
    | everyOther [x] = [x] 
    | everyOther x = let 
     val head::head2::tail = x 
    in 
     head::everyOther(tail) 
    end; 

這是產生以下警告：

! Toplevel input: 
! val head::head2::tail = x 
!  ^^^^^^^^^^^^^^^^^ 
! Warning: pattern matching is not exhaustive 

我相信函數永遠不會失敗，因爲val head::head2::tail將始終適用於具有兩個或更多元素的列表，並且涵蓋了一個元素和零元素的情況。據我所知，這個功能按預期工作。我認爲這個問題可能與使用[]有關，但我真的不知道。

我的問題其實是三折：

1. 爲什麼SML認爲這不是詳盡的（我怎麼誤解這一點）？
2. 有沒有這種功能會失敗的情況？
3. 我在做這種愚蠢的寫作功能嗎？

Answer 1

1. SML爲您提供了警告，因爲它不知道x至少有兩個元素。所有它知道的是，x是一個列表，它不記得x不得不匹配前兩種模式，進入第三種情況。

2. 不，代碼不能失敗。

3. 沒有理由在let語句中執行模式匹配。你可以把模式到fun聲明，這將導致更少的代碼和刪除警告：

   fun everyOther [] = [] 
       | everyOther [x] = [x] 
       | everyOther (head::head2::tail) = head :: everyOther tail;