haskell - 在 Haskell 中返回空值而不限制多态性

Question

我正在关注“Real World Haskell”，并且正在阅读第 2 章，其中的练习是创建一个“lastButOne”函数，该函数返回列表中倒数第二个值。我的原始代码是:

lastButOne xs =     if null (tail (tail xs))
                    then head xs
                    else lastButOne (tail xs)

除非我给它一个只有 1 或 2 个项目的列表，否则它工作得很好。所以我将其修改为:

lastButOne xs = if null xs || null (tail xs)
                then head xs
                else
                        if null (tail (tail xs))
                        then head xs
                        else lastButOne (tail xs)

它检查它是否只有 1 或 2 项，但如果由于调用 head 而只有 1 项，则会失败。我的问题是我想不出除了“head xs”之外的其他任何东西，理想情况下我希望它返回null或类似的东西，但我找不到允许函数仍然存在的“null”多态的。

Answer 1

也许您正在寻找 Maybe类型:

lastButOne :: [a] -> Maybe a
lastButOne [x,_] = Just x
lastButOne (_:y:ys) = lastButOne (y:ys)
lastButOne _ = Nothing