空リストのハスケルテール関数

Question

リストの末尾のみを返す関数には問題があります。関数はmyTailであり、入力が空のリストであっても有用な結果が得られるはずです。パターンマッチング、警備式と条件式

この作品：

> myTail_pat :: [a] -> [a] 

> myTail_pat (x:xs) = xs 
> myTail_pat [] = [] 

しかし、この：

> myTail_guard (x:xs) | null xs = [] 
>    | otherwise = xs 

は私にエラーを与える：

は、私はすべての3つの方法を理解したいプログラムをエラー：パターンマッチの失敗：myTail_guard [] どのようにパターンなしで関数を宣言できますか？

ありがとうございます。

Answer 1

パターンx:xsは空のリストと一致しません。あなたがする必要があるでしょう：

myTail_guard xs 
    | null xs = [] 
    | otherwise = tail xs 

Answer 2

ドロップ1が安全であることは

drop 1 [] 
-- result: []