Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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



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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: