/mrsekut-p/monadic computation

generated at 2/21/2025, 7:05:59 PM

monadic computation
monad値を返す関数のこと


雑に書くと、こういう関数のこと
 monadicComputation :: Monad m => m a .. 

こういう1つのMonad計算のことをこう呼んでいる
hsstackMainp :: State Stack Int
stackMainp = do
    push 3
    pop
    pop
このコード内の、 stackMainp ,  push ,  pop は全てmonadic computation

特にIOモナドの場合にアクションと言ったりする