equational-reasoning

7Ciepło

3Odpowiedz

Czy używam rozsądnego rozumowania dźwiękowego o definicji filtra pod względem fałdowania?

dobrze, to jest definicja funkcji filtrowania za pomocą foldr: myFilter p xs = foldr step [] xs where step x ys | p x = x : ys | otherwise = ys tak na przykład powiedzmy mam tę funkcj

haskell filter fold equational-reasoning 2010-02-02

---