haskell中的匹配错误

Question

我在 haskell 中有以下代码，我得到了

1. 无法将类型 [Int] 与 `Bool' 匹配
2. 无法匹配类型[[a0]] -> [a0]' with[Int]' 预期类型：[Int] -> [Int] 实际类型：[Int] -> [[a0]] -> [a0]

代码：

findlist:: [[Int]] -> [Int] 
findlist (l1, l2, l3, l4, l5) = do      1)
    let n = length l1
    e1 <- [1..n]
    e2 <- [1..n]
    e3 <- [1..n]
    e4 <- [1..n]
    e5 <- [1..n]
    let list1 = pick_list $ myperms e1 l1   --here
        list2 = pick_list $ myperms e2 l2   --here
        list3 = pick_list $ myperms e3 l3   --here
        list4 = pick_list $ myperms e4 l4   --here
        list5 = pick_list $ myperms e5 l5   --here
    guard $ all (== list1) $ [list2, list3, list4, list5]
    guard $ e1 `notElem` [e2, e3, e4, e5]
    guard $ e2 `notElem` [e3, e4, e5]
    guard $ e3 `notElem` [e4, e5]
    guard $ e4 `notElem` [e5]
    return concat list1                    2)

类型签名：

pick_list:: [[Int]] -> [Int]
myperms:: Int -> [Int] -> [[Int]] 

它有什么问题，我怎么知道什么时候会出现这样的错误？提前致谢。

Answer 1

您的where 子句需要在findlist 下方缩进。然而，这段代码还有更多的问题。

---

我看到的第一个大问题是你得到了list 的特定元素，但你没有确保它至少有5 个元素。也许你应该传入一个元组？

其次，您在 where 子句中引用了elem1、elem2 等，但它们不在列表理解范围之外，不能在方括号之外使用。

第三，您的理解将返回list1 的副本，在您庞大的列表理解条件下，每成功匹配一个。即使它可以编译，我认为这段代码也不会做你想做的事。

---

您可以改为将其写成一元形式。我还冒昧地使用Control.Monad.guard 简化了您的检查并摆脱了elements：

findlist (l1, l2, l3, l4, l5) = do
    let n = length l1
    e1 <- [1..n]
    e2 <- [1..n]
    e3 <- [1..n]
    e4 <- [1..n]
    e5 <- [1..n]
    let list1 = pick_list $ myperms e1 l1
        list2 = pick_list $ myperms e2 l2
        list3 = pick_list $ myperms e3 l3
        list4 = pick_list $ myperms e4 l4
        list5 = pick_list $ myperms e5 l5
    guard $ all (== list1) [list2, list3, list4, list5]
    guard $ e1 `notElem` [e2, e3, e4, e5]
    guard $ e2 `notElem` [e3, e4, e5]
    guard $ e3 `notElem` [e4, e5]
    guard $ e4 `notElem` [e5]
    return list1

这段代码肯定更容易阅读，并且性能相当（对于大型n 来说会很慢）