for是flip traverse。
forM是flip mapM。
等等for_,等等。
怎么樣foldMap?這是孤獨的。
flip foldMap = ?
uj5u.com熱心網友回復:
如果每個 2 引數函式都有一個翻轉的對應物,那將是愚蠢的。這些for變體之所以有價值,主要是因為它們與do記譜法配合得非常好,以一種非常容易記住例如 Python 回圈的方式。
main = do
...
forM_ [0..9] $ \i -> do
print i
...
return ()
因為foldMap您仍然可以從$RHS 上的語法預示 lambda 中受益,但是您不會處于 monad 中(至少不是這樣使用的),不會使用do符號,并且可能無論如何都需要一些括號。foldMap因此,與中間帶括號的函式的常規相比,沒有太多優勢。
轉載請註明出處,本文鏈接:https://www.uj5u.com/net/436370.html
