|
|
|
|
|
|
by ryandv
348 days ago
|
|
|
See for instance the MonadIO typeclass from Haskell [0]. Constraining against this typeclass allows one to write monadic code / do-notation that works with any monad, so long as that monad supports the execution of IO statements. Now for instance, arbitrary effects (error handling, resource management, etc) can be composed on top of an IO monad (e.g. via monad transformers), and MonadIO code, that is written to only depend on the IO effects, can still be executed in these contexts with more effects layered on top. [0] https://hackage.haskell.org/package/base-4.21.0.0/docs/Contr... |
|
|