haskell - haskell中的forM和forM_有什么区别？

Question

HLint 建议我使用 forM_ 而不是 forM。为什么？我看到他们有不同的类型签名，但还没有找到使用其中一种的充分理由。

forM  :: (Traversable t, Monad m) => t a -> (a -> m b) -> m (t b)
forM_ :: (Foldable t,    Monad m) => t a -> (a -> m b) -> m ()

Answer 1

forM_ 函数效率更高，因为它不保存运算结果。就这些。 (这只在使用 monad 时才有意义，因为 a -> () 类型的纯函数并不是特别有用。)