haskell - 无法从 Haskell 元组获取第一个值

Question

我有一个形式为 ([(Int, Int, Int)], Int, Int) 的值

我需要一个函数，它以 ([(Int, Int, Int)], Int, Int) 的形式获取数据并返回 [[(Int, Int, Int )]]

假设我的列表名为it。当我运行 fst it

我收到这个错误

 * Couldn't match expected type `(a, b0)'
                  with actual type `([(Int, Int, Int)], Int, Int)'
    * In the first argument of `fst', namely `it'
      In the expression: fst it
      In an equation for `it': it = fst it
    * Relevant bindings include it :: a (bound at <interactive>:9:1)

我无法理解自己做错了什么。有人可以帮我吗。我想获取 it 的第一个值，它是一个列表列表。

Answer 1

如签名所示，fst :: (a, b) -> a返回 2 元组的第一个 项。所以不是 3 元组(或任何 n 元组 n ≠ 2)。

对于 3 元组(及更高元组)，通常使用模式匹配(例如在 lambda 表达式中)。例如:

\(x, _, _) -> x

是一个获取 3 元组第一项的 lambda 表达式。

或者您可以定义一个函数来进行这种模式匹配，例如:

fst3 :: (a, b, c) -> a
fst3 (x, _, _) = x