如何检查列表元素的总和是否等于Haskell中的最后一个元素？

Question

输入是一个包含9个元素的列表。

我想检查前8个元素的sum / 10的余数（使用下面的算法，taj的第二行）是否等于最后一个（第9个）元素。

目前，我的程序算出了其余部分，但我不知道如何检查它。 我尝试了几种方法。

oddS :: Int-> Int
oddS x = x*3

evenS :: Int -> Int
evenS y = y*7


taj :: [Int] -> Int
taj (a:b:c:d:e:f:g:h:w) = (oddS a + evenS b + oddS c + evenS d + oddS e + evenS f + oddS g + evenS h) `mod` 10

我知道这不是最好的解决方案，但可以做到。

在Willem的帮助下的替代解决方案。

  check :: [Int] -> Bool
  check xs = xn == taj xs
      where xn = last xs

Answer 1

我想检查前8个元素的sum / 10的余数是否等于最后一个（第9个）元素。

这是一种验证算法。 它就是这样。 如果mod 8的前8个元素（奇数索引元素* 3和偶数索引元素* 7的总和）等于最后一个元素，则输入列表有效。 -评论

您还可以使用递归来检查条件，方法是使用累加器 （或两个累加器来检查长度），该累加器累加运行总和并在到达最后一个元素时对其进行检查。 所以像这样：

check9 :: [Int] -> Bool
check9 = check9' 8 0
    where check9' n s [xn] = n == 0 && s `mod` 10 == xn
          check9' n s (x:x2:xs) = check9' (n-2) (s+3*x+7*x2) xs
          check9' _ _ _ = False

解决此问题的一种更优雅的方法是使用诸如sum :: Num a => [a] -> a ， zipWith :: (a -> b -> c) -> [a] -> [b] -> [c] ， cycle :: [a] -> [a]和splitAt :: [a] -> a ：

-- alternative version

check9 :: [Int] -> Bool
check9 xs | (xi,[xn]) <- splitAt 8 xs = xn == mod (sum (zipWith (*) xi $ cycle [3,7])) 10
          | otherwise = False