顺序 翻转 fmap === forM？

问题描述

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

解决方法

是的，它是：

(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

As chi notes，大概只是pointfree.io不知道forM。