內濾波器

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我必須使用4 _用於匹配Occupied類型。

當記錄超過10個字段時，這會變得非常痛苦。有一個更好的方法嗎 ？

Answer 1

您可以改爲使用{}模式。

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

Answer 2

添加到零食的回答，這也可能與列表理解簡單：

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/=)