haskell - （序列 。） 。翻转 fmap === forM?

Question

是(sequence .) . flip fmap一样的forM吗？我在这里问是因为pointfree.io似乎没有说同样的话......

标签： haskellfunctional-programmingpointfreeequational-reasoning

Answer 1

是的：

(sequence .) . flip fmap
(sequence .) . (\u f -> fmap f u)
\u -> sequence . (\f -> fmap f u)
\u f -> sequence (fmap f u)
\u f -> mapM f u
flip mapM
forM

正如 chi 指出的那样，大概只是 pointfree.io 不知道forM。