使用（_ < - f）而不是f單獨使用？

Question

望着這ZeroMQ HelloWorldClient.hs代碼片段：

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 : Monad m => m a）而不是f？

Answer 1

這是一種常見的方式，用於在您有類型m a，其中a不是()時，關於丟棄值的警告消失。另一種常見的方法是使用void。