分區使用遞歸

Question

嘗試自己去學習一些Haskell的，我知道的功能

partition :: (a -> Bool) -> [a] -> ([a], [a]) 

我將能夠使用這個遞歸，而不是使用功能。例如：內徑有我自己定義的函數

partition':: (a -> Bool) -> [a] -> ([a], [a]) 

這將使用遞歸

Answer 1

這裏是一個遞歸定義：

partition':: (a -> Bool) -> [a] -> ([a], [a]) 
partition' _ [] = ([],[]) 
partition' f (x:xs) | f x = (x:matched,notMatched) 
        | otherwise = (matched,x:notMatched) 
        where (matched,notMatched) = partition' f xs