3 ms·
> Thus the lack of IO in a function's type assures you, reliably, that the function does not cause side effects No. IO is not the only monad encoding side eff
by laureny 13y ago
> Thus the lack of IO in a function's type assures you, reliably, that the function does not cause side effects
No. IO is not the only monad encoding side effects.
- tmoertel 13y agoIndeed. To be precise, I should have written that the lack of X in a function's type assures you that the function does not cause X effects.