過濾功能haskell的實現

Question

有沒有一種方法可以使用列表理解來編寫Haskell過濾器功能的實現？

錯誤不斷出現，我為如何處理感到困惑。 這就是我所擁有的：

filter' :: (a -> Bool) -> [a] -> [a]
filter' _ [] = []
filter' f xs = [f x | x <- xs]

任何指導或鏈接將不勝感激。

Answer 1

是的，您可以將其編寫為：

filter' :: (a -> Bool) -> [a] -> [a]
filter' f xs = [x | x <- xs, f x]

如果您在列表理解中添加了一個表達式，該表達式的計算結果為布爾值，那么您已經在列表理解中添加了一個過濾器：僅當fx在此處計算為True ，我們才會在列表中添加x 。

請注意，寫過filter' _ [] = []是沒有用的：如果您提供一個空列表，則列表推導也將返回一個空列表，因為x永遠不會從xs選取x <- xs 。

但是通常最好使用內置filter :: (a -> Bool) -> [a] -> [a] 。