`forM_`はハスケルですね？

Question

ハスケルでforM_の使用に陥る傾向があります。これはRubyでは.each、Scalaではforeachと非常によく似ています。

import Control.Monad (forM_) 
import Network.BSD (getHostByName, hostAddresses) 
import Network.Socket (inet_ntoa) 
import System.Environment (getArgs) 

resolve address = do 
    ent <- getHostByName address 
    mapM inet_ntoa (hostAddresses ent) 

main = do 
    args <- getArgs 
    args `forM_` (\address -> do 
    ips <- resolve address 
    ips `forM_` (\ip -> putStrLn $ address ++ "\t" ++ ip)) 

私には慣用的であるように見えるが、mapM_を使用すると、不器用なようではありません。このコードを書き直す慣用方法はありますか？

Answer 1

ただfor_ :: (Foldable t, Applicative f) => t a -> (a -> f b) -> f()からData.Foldableを使用する方が良いでしょう。

main = do 
    args <- getArgs 
    for_ args $ \address -> do 
     ips <- resolve address 
     for_ ips $ \ip -> putStrLn $ address ++ "\t" ++ ip 

P.S.：プレフィックス（すなわち、正常な機能）として使用することによっても

、コードが「通常」命令型コードのように見えますMonad IC "トラバース" のApplicativeバージョン：

• mapM〜traverse
• mapM_〜traverse_
• forM〜for
• forM_〜for_

Answer 2

main = getArgs >>= mapM_ (\address -> 
    resolve address >>= mapM_ (\ip -> 
    putStrLn $ address ++ "\t" ++ ip)) 

そして、ArgumentDoを取得したら、そのラムダ式をかっこにする必要はありません。

ListTにも適用できることが起こる：（

main = void $ runListT $ do 
    address <- ListT getArgs 
    ip <- ListT $ resolve address 
    liftIO $ putStrLn $ address ++ "\t" ++ ip