Функция хвоста Haskell для пустых списков

Question

У меня проблема с функцией, которая должна возвращать только хвост списка. Эти функции являются myTail и должны давать полезный результат, даже если вход представляет собой пустой список.

Я хочу понять все 3 способа: соответствие шаблона, охраняемое уравнение и условные выражения

это работает:

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

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

Но это:

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

дает мне ошибку: Программу error: ошибка совпадения шаблонов: myTail_guard [] Как я могу объявить функцию без шаблонов?

спасибо.

Answer 1

Образец x:xs не соответствует пустым спискам. Вы должны были бы сделать:

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

Answer 2

падение 1 является безопасным

drop 1 [] 
-- result: []