小编Bea*_*row的帖子

“使用以下带有两个参数的函数：

nth :: (a,a,a,a,a) -> Int -> a

其中 Int 值应返回五元素元组的第 Int 值。”我尝试过：

nth (a,b,c,d,e) x = (a,b,c,d,e) !! x

但 GHC 给了我一条错误消息：

file.hs:11:21: error:
* Couldn't match expected type `[a1]'
              with actual type `(a, b, c, d, e)'
* In the first argument of `(!!)', namely `(a, b, c, d, e)'
  In the expression: (a, b, c, d, e) !! x
  In an equation for `nth':
      nth (a, b, c, d, e) x = (a, b, c, d, e) …

我想编写一个返回列表的最长前缀的函数，其中将函数应用于该前缀中的每个项目会生成一个严格升序的列表。

例如：

最长的升序前缀 (`mod` 5) [1..10] == [1,2,3,4]

最长升序前缀奇数 [1,4,2,6,8,9,3,2,1] == [1]

longestAscendingPrefix :: Ord b => (a -> b) -> [a] -> [a]
longestAscendingPrefix _ [] = []
longestAscendingPrefix f (x:xs) = takeWhile (\y z -> f y <= f z) (x:xs)

此代码片段产生标题中的错误消息。问题似乎出在 lambda 函数上。

实现oddPairs :: [Int] -> [Int] -> [(Int, Int)]返回对列表的函数，但前提是参数列表各自元素的总和为奇数。

例如：

oddPairs [1,2,3] [2,2,2] == [(1,2),(3,2)]

oddPairs [1,3,5] [2,4,6] == zip [1,3,5] [2,4,6]

oddPairs [1,2,3] [1,2,3] == []

到目前为止，我已经尝试过

oddPairs (x:xs) (y:ys) | (x+y) `mod` 2 == 0 = []
                       | (x+y) `mod` 2 /= 0 = [(x, y)] ++ oddPairs (xs) (ys)

在第一个示例中，它仅返回[(1,2)]，在第二个示例中，它返回正确的值，但有Non-exhaustive patterns错误。