fの代わりに（_ < - f）を使用していますか？このZeroMQ <a href="http://zguide.zeromq.org/hs:hwclient" rel="nofollow">HelloWorldClient.hs</a>コードスニペットを見て

Question

：

forM_ [1..10] $ \i -> do 
    liftIO . putStrLn $ "Sending Hello " ++ show i ++ "…" 
    send requester [] "Hello" 
    _ <- receive requester 
    liftIO . putStrLn $ "Received World " ++ show i 

は_ <- receive requesterがreceive requesterように記述することはないだろう、なぜ何らかの理由はありますか？

また、一般にfの代わりに_ <- f（f : Monad m => m a）を使用する理由がありますか？

Answer 1

m aの何かを持っているときに値を捨てるという警告を消す一般的な方法です。aは()ではありません。これを行うもう1つの一般的な方法は、voidです。