equational-reasoning

7зной

3ответ

Я использую звуковые экваториальные рассуждения об определении фильтра в терминах foldr?

хорошо, это определение функции фильтра с помощью foldr: myFilter p xs = foldr step [] xs where step x ys | p x = x : ys | otherwise = ys так, например, скажем, у меня есть эта функци

haskell filter fold equational-reasoning 2010-02-02

---