(序列。)。翻转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
正如 chi 所说,大概只是 pointfree.io 不知道forM.