Question

我正在Haskell做一个项目，我正在尝试创建一个函数，它接受两个列表输入，然后返回列表的并集，但没有任何重复。

问题是我不断收到错误消息：

Couldn't match expected type ‘a’ with actual type ‘[t0]’
      ‘a’ is a rigid type variable bound by
          the type signature for newList :: [a] -> [a] -> [a]

这是我的代码：

allList :: (Eq a) => [a] -> [a] -> [a]
allList [] [] = []
allList x y = (x ++ y)

checkDup [] = []
checkDup (z:zs)
    | z `elem` zs = checkDup zs
    | otherwise = z : checkDup zs

newList :: (Eq a) => [a] -> [a] -> [a]
newList [] [] = []
newList x y = [checkDup z | z <- allList x y]

第一个allList函数创建两个列表的列表，checkDup创建一个没有任何重复项的新列表，newList使用列表推导将组合列表传递给{ {1}}。

任何人都知道我哪里出错了？

Answer 1

问题在于：

newList x y = [checkDup z | z <- allList x y]

z应该是您传递给checkDup的列表，但在这种情况下，z只是一个元素

也许你想要：

newList x y = checkDup $ allList x y

newList可以声明如下：

newList :: (Eq a) => [a] -> [a] -> [a]
newList = checkDup . allList

Answer 2

由于@ Smac89回答了您的问题，为什么不使用像Data.Set这样的数据表示？

import qualified Data.Set as S

allList :: Ord a => [a] -> [a] -> [a]
allList xs ys = S.toList $ S.union (S.fromList xs) (S.fromList ys)

（尽管继续使用Set可能更有意义。）

或者使用Data.List：

import Data.List

newList :: Eq a => [a] -> [a] -> [a]
newList xs ys = nub $ xs ++ ys

Haskell“无法将预期类型'a'与实际类型'[a0]'匹配”

2 个答案: