根据以下规则,我试图解决以下问题:
现在,我必须为 concat 和过滤器实施更高阶。
我在这一点上
concat' :: [[a]] -> [a]
concat' a = (concat a)
filter' :: (a -> Bool) -> [a] -> [a]
filter' p [] = []
filter' p (x:xs)
| p x = x : filter p xs
| otherwise = filter p xs
concat函数正在运行(到目前为止没有什么特别的)->这是已定义的递归吗?我的意思是我使用的是标准前奏中的预定义concat,但我自己却没有定义它-还是我错了?
对于过滤器,我已经查看了标准前奏的定义,但是该函数不起作用,并且包含递归的定义。
答案 0 :(得分:0)
我想应该避免使用concat
和filter
函数。如果concat
和filter
已经可用,为什么还要实现它们呢?因此,请尝试从头开始实施它们。
我们可以使用folding代替递归和列表理解。以下解决方案使用函数foldr
。
foldr :: Foldable t => (a -> b -> b) -> b -> t a -> b
concat' :: [[a]] -> [a]
concat' = foldr (++) []
filter' :: (a -> Bool) -> [a] -> [a]
filter' p = foldr (\x acc -> if p x then x:acc else acc) []
示例:
main = do
print $ concat' ["A", "B", "CAB"] -- "ABCAB"
print $ filter' (\x -> x `mod` 2 == 0) [1..9] -- [2, 4, 6, 8]
答案 1 :(得分:-1)
您可以执行以下操作;
concat' :: Monad m => m (m b) -> m b
concat' = (id =<<)
filter' p = ((\x-> if p x then [x] else []) =<<)
=<<
只是单子绑定运算符>>=
的翻转版本。
filter' (< 10) [1,2,3,10,11,12]
[1,2,3]