undefined | Better HN

0 pointslaureny12y ago0 comments

> 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.

0 comments

1 comments · 1 top-level

Indeed. 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.

j / k navigate · click thread line to collapse