根据元素筛选3(或更高)-tuples的列表

Question

假设我有一个三元组的列表，比如：

[(1,2,3),(4,5,6),(7,8,9)]

如果我想找到每个项目，其中的第一个元素是filter，那么通过这些方法实现1的方法是什么。filter ((==1).fst)不能被使用，因为元组的长度不等于2。我有一些想法，但我似乎无法将它们改进为可行的代码，所以我想看看是否有一个更好的解决方案--一个更熟悉这种语言的人。

Answer 1

对于静态类型，最简单的方法可能是手动键入所有逗号：

filter (\(x,_,_) -> x == 1) [(1,2,3),(4,5,6),(7,8,9)]

(您可以尝试自动化这一点，例如将fst的泛型版本编写为类方法，但随后需要手动声明每个元组大小都是该类的一个实例。)

Answer 2

你可以使用镜头库，它提供了一个镜头来操作元组。

import Control.Lens

filter ((== 1) . (^. _1)) [(1, 2, 3), (4, 5, 6), (7, 8, 9)]

镜头使用的类型类如Field1 Field2 ..。使上面的代码成为可能。