Question

考虑以下示例：

data TestType = Free | Occupied { oc_field1 :: Int,
                                  oc_field2 :: Int,
                                  oc_field3 :: Int,
                                  oc_field4 :: Int
                                }

type SampleTest = [TestType]

filterOccupied :: SampleTest -> SampleTest
filterOccupied test = filter (\x -> case x of
                                 Occupied _ _ _ _ -> True
                                 Free -> False ) test

在上面的示例中，在filterOccupied内部，我必须使用四个_来匹配Occupied类型。

当记录超过十个字段时，这变得非常痛苦。有更好的方法吗？

Answer 1

您可以使用{}模式。

filterOccupied :: SampleTest -> SampleTest
filterOccupied test = filter (\x -> case x of
                                 Occupied {} -> True
                                 Free -> False ) test

Answer 2

添加到snak的答案，使用列表理解也可能更容易：

filterOccupied :: SampleTest -> SampleTest
filterOccupied test = [x | x@(Occupied {}) <- test]

只有与该模式匹配的项目才会保留在列表中。

Answer 3

怎么样：

data TestType = Free
              | Occupied { oc_field1 :: Int
                         , oc_field2 :: Int
                         , oc_field3 :: Int
                         , oc_field4 :: Int
                         }
    deriving Eq

filterOccupied :: [TestType] -> [TestType]
filterOccupied = filter (Free/=)

简化过滤器内的记录模式匹配

3 个答案: