私はlearnyouahaskell.comを読んでおり、現在フォールドを調査中です。この本では、これらの例があります maximum' :: (Ord a) => [a] -> a
maximum' = foldr1 (\x acc -> if x > acc then x else acc)
reverse' :: [a] -> [a]
reverse' = foldl (\acc x
ハスケルのfoldr（たとえば、Java構文を使用）にはList<T>が使用され、任意のタイプ（<T>、List<T>など）が返されます。 evens :: [Integer] -> [Integer]
evens = foldr (\ x acc -> if mod x 2 == 0 then x : acc else acc) []
：ハスケル、アキュムレータList<Integer>（
私はHaskellの宿題の問題をErlangでやり直そうとしています。私には、そのパラメータのすべてを持たない関数のリストを使う方法があります。 例：私はこの倍を使用しようとしているが、私はそれは、コマンドラインでこれを使用してアキュムレータその後 %%inside my module)
add(X,Y) -> X + Y.
multiply(X,Y) -> X*Y.
上で動作するように
foldlの実装を書いて、それがうまく機能しているかどうかを確認したい場合、いくつかのケースを試してみましたが、うまくいくように見えますが、確認したいと思います。 私はquickCheckについて読み、それを試してみましたが、私はそれを動作させるように見えることはできません、これはコード foldl'' :: (b -> a -> b) -> b -> [a] -> b
test :: Eq
foldlのとfolrはFPやHaskellのための2つの非常に重要な機能がありますが、私はunsided倍についてはあまり聞いたことがない：ある fold f [a,b,c,d] = (f (f a b) (f c d))
、バイナリ連想機能で動作倍（アプリケーションのように順序関係ない）。正しくリコールすれば、これは並列化が可能なデータベースでは非常に一般的です。それで、それについては、私
FoldableはFunctorがApplicativeとMonadのスーパークラスであるのと同様にTraversableのスーパークラスです。基本的に、我々はまた Monoid m => (,) mモナドを用い foldMap foldLiftT :: (Traversable t, Monoid m) => (a -> m) -> t a -> m
foldLiftT f = fst . t