list - 过滤我自己类型的列表 - 元组？

Question

如何通过元组中的第三项过滤此类型的列表:

type Car = (String, [String], Int [String])

我看到了 snd和 fst方法，但在这里我认为这行不通，我不确定如何在不使用 '_' 的情况下进行映射。通配符。

Answer 1

没有任何预定义的函数，如 fst或 snd对于具有两个以上元素的元组。正如您所说，您可以使用模式匹配和通配符 _做这项工作。

 cars = [ ("Foo", ["x", "y"], 2009, ["ab", "cd"]
        , ("Bar", ["z"],      1997, [])
        ]

 newCars = filter condition cars
     where condition (_, _, n, _) = n > 2005

但是，这通常表明您应该从使用元组更改为记录类型。

 data Car = Car { model :: String
                , foo   :: [String]
                , year  :: Int
                , bar   :: [String] 
                }

 cars = [ Car "Foo" ["x", "y"] 2009 ["ab", "cd"]
        , Car "Bar" ["z"]      1997 []
        ]

现在，您可以使用 model , foo , year和 bar就像你会使用 fst和 snd在元组上。

 newCars = filter ((> 2005) . year) cars