Is it possible to consider monads as an embodiment of computational (or computational processes)?

Question

In my first analysis, I would answer yes, but I cannot find a link where this fact is clearly stated.

Answer 1

You can say that the following links are proof of your claim:

• Continuation of the Monad
• State monad

, Monads, , , . - . , , -. , - , . - , , , .

Answer 2

, . , ( ):

• Burritos
• IO
• A
• Lax
• ( ), ( ),

( ) , , : . , , ( ) , , , , , (, -).

, / , , , - , : , , (, ), , , -.