【问题标题】:Filter a list of lists过滤列表列表
【发布时间】:2013-09-29 12:49:51
【问题描述】:

我想知道如何从列表列表中过滤出整个列表

Example: [ ["Bob", "Baker", "male", "70000"],
         ["Alice", "Allen", "female", "82000"] ] 

现在我想过滤包含女性的列表。所以输出将是:

["Alice", "Allen", "female", "82000"]

谢谢

【问题讨论】:

    标签: list haskell filter


    【解决方案1】:

    Ankur 的回答肯定会解决您的问题,但我想提出一个可以让您的生活更轻松的建议。似乎您将所有数据作为字符串存储在列表中,但您真正想要的是一种可以以更有条理的方式保存所有这些数据的数据类型,这可以使用 Haskell 数据类型来完成,例如:

    data Person = Person {
        firstName :: String,
        lastName :: String,
        gender :: String,
        salary :: String
        } deriving (Eq, Show)
    

    然后您可以使用filter (("female" ==) . gender) a 轻松对数据进行排序。虽然这是前面的更多代码,但稍后如果您要为“先生”、“夫人”等添加“标题”字段,那么将其添加为第一个字段还是最后一个字段,此代码仍然有效。此外,如果由于某种原因你有一个无效的值,比如["Bob", "Baker", "male", "70000", "female"],Ankur 的解决方案会给你一个不正确的结果,但是使用自定义数据类型,这甚至不会编译。

    您可以通过一些调整来进一步改进您的数据结构。我建议为性别创建一个数据类型,然后在薪水字段中使用IntDouble,这样你就有了

    data Gender = Male | Female deriving (Eq, Show, Read)
    
    data Person = Person {
        firstName :: String,
        lastName :: String,
        gender :: Gender,
        salary :: Int
        } deriving (Eq, Show)
    
    filtGender :: Gender -> [Person] -> [Person]
    filtGender gend people = filter ((gend ==) . gender) people
    
    main :: IO ()
    main = do
        let people = [Person "Bob" "Baker" Male 70000,
                      Person "Alice" "Allen" Female 82000]
        putStr "The females are: "
        print $ filtGender Female people
        putStr "The males are: "
        print $ filtGender Male people
    

    【讨论】:

    • 如果我们已经有了列表列表,我们可以使用函数people = flip map peopleList (\f:l:g:s:[] -> Person {firstName=f,lastName=l,gender = read g, salary=read s}) 其中peopleList = [["Bob", "Baker", "male", "70000"], ["Alice","Allen","female","82000"]] 转换它们
    • 这确实是一个很好的解决方案
    【解决方案2】:
    Prelude> let a = [ ["Bob", "Baker", "male", "70000"], ["Alice", "Allen", "female", "82000"] ]
    Prelude> filter (elem "female") a
    [["Alice","Allen","female","82000"]]
    

    【讨论】:

      猜你喜欢
      • 1970-01-01
      • 2023-03-23
      • 2019-01-09
      • 2017-08-26
      • 2022-11-29
      • 2010-10-06
      • 2017-06-14
      • 2016-08-05
      相关资源
      最近更新 更多