如何在Haskell中实现tail函数？求评估本人的实现代码

你当前的tail'实现存在两处问题：

• 未处理空列表场景：传入[]时没有匹配的模式，会触发运行时错误
• 模式匹配逻辑错误：第二个模式(_:y:xs)仅匹配长度≥2的列表，且递归逻辑错误。比如输入[1,2,3]时，你的代码会返回[2]，但标准tail函数预期返回[2,3]

正确的基础实现 #

tail' :: [a] -> [a]
tail' [] = error "tail': 空列表无尾部"  -- 明确报错提示
tail' (_:xs) = xs

更安全的版本（避免抛出错误） #

如果想避免运行时错误，可以返回Maybe [a]类型来处理空列表的情况：

tail' :: [a] -> Maybe [a]
tail' [] = Nothing
tail' (_:xs) = Just xs

另外你代码里的tail' [a] = []属于冗余模式，因为(_:xs)已经覆盖了单元素列表的场景（此时xs为[]，返回结果和该模式一致）。

内容的提问来源于stack exchange，提问作者Habibullah Arif