-
Трансформацията с функция на списък рекурсивно:
f :: [Int] -> [Int] f [] = [] f (x:xs) = (някаквa-функция x) : f xs
e равносилна на:
[ някаква функция x | x <- входния-списък ]
-
Филтрацията на списък рекурсивно:
g :: [Int] -> [Int] g [] = [] g (x:xs) | някакво услове за x = g xs | otherwise = x : g xs
е равносилна на:
[ x | x <- входен списък, някакво услове за х ]