Haskell，使用 function 和列表推导

Question

我正在尝试完成以下任务：

slice :: Int -> Int -> [a] -> [a]
slice from to xs = take (to - from + 1) (drop from xs)

trimBoard :: Board -> Int -> Board
trimBoard s y = slice ((y*3)) (((y+1)*3)-1) s

getBox :: Board -> Int -> Int -> [Sequence]
getBox s y x = [ (trimBoard c x) | c <- (trimBoard s y)]

具体来说，我正在尝试运行 function，获取结果[[int]] ，然后 map 另一个 function 到该结果上。 哪个 haskell 显然令人厌恶，我需要结合使用“lambda 函数”和其他我根本无法阅读或理解的魔法来实现这一点。

有没有什么简单的方法可以做到这一点，不需要 7 个月的数学 function 语法课程？

如上所述，结果 board 是 [[int]]，sequence 就是 [int]。

它产生的错误是

sudoku.hs:139:19: error:
    • Couldn't match type ‘[Int]’ with ‘Int’
      Expected type: Sequence
        Actual type: Board
    • In the expression: (trimBoard c x)
      In the expression: [(trimBoard c x) | c <- (trimBoard s y)]
      In an equation for ‘getBox’:
          getBox s y x = [(trimBoard c x) | c <- (trimBoard s y)]

sudoku.hs:139:29: error:
    • Couldn't match type ‘Int’ with ‘[Int]’
      Expected type: Board
        Actual type: Sequence
    • In the first argument of ‘trimBoard’, namely ‘c’
      In the expression: (trimBoard c x)
      In the expression: [(trimBoard c x) | c <- (trimBoard s y)] Failed, modules loaded: none.

Answer 1

看来您已经正确编写了所有功能代码，但没有正确指定类型签名。 trimBoard需要一个Board作为它的第一个参数，但是您已经将它传递给它c ，它是单行。

您可能抱怨的是，如果您将trimBoard传递给单行而不是完整的电路板，它应该可以很好地工作。 确实如此，您只需要学习如何说：

trimBoard :: [a] -> Int -> [a]

也就是说， trimBoard接受任何类型的列表和一个Int ，并返回相同类型的列表。 现在，您不仅限于传递Int列表的列表，而且一切正常。

您也可以省略 trimBoard 的类型签名， trimBoard会推断出这个，这是最通用的一个。 （但是编写类型签名并学习如何这样做是件好事——事实上，通过实践，这成为我在其他语言中非常怀念的无价工具）。