Verwenden von (_ <- f) anstelle von f Alone?

Question

Mit Blick auf diesem ZeroMQ HelloWorldClient.hs Code-Schnipsel:

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

Gibt es einen Grund, warum _ <- receive requester als receive requester nicht geschrieben werden würde?

Gibt es im Allgemeinen auch einen Grund, _ <- f (wo f : Monad m => m a) statt f zu verwenden?

Answer 1

Das ist eine gebräuchliche Art, Warnungen zum Wegwerfen eines Werts zu unterdrücken, wenn Sie etwas vom Typ m a haben, wobei a nicht () ist. Ein anderer gebräuchlicher Weg ist dies mit .