如何將一系列單子動作應用於 Haskell 中的同一個參數？

Question

Haskell，有沒有辦法簡化下面的代碼，去掉“hello world”的重復？ 換句話說，將f 、 g和h應用於hello world ？

fn = do
  a <- f "hello world"
  b <- g "hello world"
  c <- h "hello world"
  return (a, b, c)

Answer 1

如果f 、 g和h具有相同的類型，您可以簡單地遍歷它們：

  [a,b,c] <- forM [f,g,h] ($"hello world")

如果它們有不同的類型，你可以使用函數形成一個 monad 的事實，特別是可以作為一個 monad 轉換器堆疊在你當前的 monad 之上：

import Control.Monad.Trans.Reader

fn = (`runReaderT`"hello world") $ do
    a <- ReaderT f
    b <- ReaderT g
    c <- ReaderT h
    return (a, b, c)