Haskell 类型的数学问题

Question

我是 haskell 初学者。我尝试编写将返回倒数第二个列表元素的函数。

我是这样开始的：

lastButOne :: [a] -> a
lastButOne list = if null list
           then 
                0
           else 
                length list

0 字符串我得到错误：

Couldn't match type `a' with `Int'
      `a' is a rigid type variable bound by
          the type signature for lastButOne :: [a] -> a

我明白了。但我能在这里做什么？我不知道列表类型。我可以在这里放什么？

谢谢。

Answer 1

0 是 int 类型，因此它不适用于所有 a。我建议改为使用Maybe a，如下所示：

lastButOne :: [a] -> Maybe a
lastButOne [] = Nothing
lastButOne [x] = Nothing
lastButOne xs = Just $ list !! (length xs - 2)

使用警卫：

lastButOne :: [a] -> Maybe a
lastButOne xs | length xs > 1 = Just $ list !! (length list - 2)
              | otherwise = Nothing

使用 Maybe 的 MonadPlus 实例：

import Control.Monad (guard)

lastButOne :: [a] -> Maybe a
lastButOne list = guard (length list > 1) >> return (list !! (length list - 2))

一般来说，对于 MonadPlus 的任何实例：

import Control.Monad (guard)

lastButOne :: MonadPlus m => [a] -> m a
lastButOne list = guard (length list > 1) >> return (list !! (length list - 2))

尽管您必须在某个地方向编译器指定您希望结果为 Maybe。通常这会被类型推断，因为它会被传递给一个期待 Maybe 的函数。

请记住，这是在 O(n) 中运行的。您可能不想找到列表的倒数第二个元素......为什么需要这样做？至少考虑改用数组。

Answer 2

炫耀的解决方案

lastButOne :: [a] -> a
lastButOne [] = error "empty list"
lastButOne [x] = x
lastButOne xs = head $ drop 1 $ reverse xs

Answer 3

我也是 Haskell 的新手。我认为您的问题是代码中的0。我真的不知道如何解决它，但这是我的解决方案，希望对您有所帮助：

lastButOne :: [a] -> a

lastButOne [] = error "empty list"
lastButOne [x1] = error "only one element"
lastButOne [x1,x2] = x1
lastButOne (x:xs) = lastButOne xs

该函数从头开始删除元素，直到剩下 2 个元素，然后这两个中的第一个是 last-But-One。

Answer 4

签名说“这个函数接受一个包含任何类型元素的列表，并返回列表中所有元素的相同元素的值”。另一方面，代码说“这个函数接受一个包含任何类型元素的列表，并返回一个数字”。 that 的正确类型签名应该是 [a] -> Int*（“这个函数接受一个包含任何类型元素的列表，并返回一个任何类型的值 Num”）。

但是由于您想返回倒数第二个元素而不是列表的长度，因此类型签名是正确的，但代码不正确。您必须从列表中取出一些项目，或者以某种方式（error，使用Maybe 返回类型，使用模式匹配并仅省略这些情况的子句，返回undefined :: a）句柄列表没有倒数第二个元素，因为它们的元素少于两个。

(*) 如果前奏曲 length 不是一心只为表演而放弃 Ints，那将是 (Integral b) => [a] -> b。