从 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-tuple 的 first 项。所以不是三元组（或任何 n 元组 n ≠ 2）。

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

\(x, _, _) -> x

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

或者您可以定义一个执行此模式匹配的函数，例如：

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