Maybe I’m wrong but for me “side-effect“ is when you cannot apply referential transparency in A -> B or C, then you use Either, Option and so on. And “effect” is when you change the state of the world so you need to move it with you, and for that you use IO or Higher kinded types
but IO does not do that, in the same way that this string "touch" did not modify any files.
-
-
In fact it turns out that several compilers have agreed in use the IO data type as the main way to generate some sort of low level code (assembly, java, js, ...) that, executed, make changes in our beloved "real" world
-
I'm not quite sure what that means. IO as it is in Haskell, and as we implemented in Scala, maintains referential transparency of expressions.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.