Home > Software design >  For for foldables
For for foldables

Time:03-03

for is flip traverse.

forM is flip mapM.

And so on with for_, etc.

What about foldMap? It's lonely.

flip foldMap = ?

CodePudding user response:

It would be silly if every 2-argument function had a flipped counterpart. The reason the for variants are worthwhile is mainly that they play so nicely together with do notation, in a way that closely remembers e.g. Python loops.

main = do
  ...
  forM_ [0..9] $ \i -> do
     print i
     ...
  return ()

For foldMap you could still benefit from a syntax-heralding $ lambda on the RHS, however you wouldn't be in a monad (at least not one used as such), wouldn't use do notation, and probably would need some parentheses anyway. So there's not much advantage to be had over the regular foldMap with a parenthesized function in the middle.

  • Related