I should do a blog post on what “effects” mean in FP culture

but that requires energy which I do not have

tl;dr is “effects are as effects do”

likeeee the real important point is it’s all about what you leave implicit in your notation

it’s about notation not semantics


in particular, this point about notation is necessary to explain why effects encompasses “pure effects” (like List, Either, Maybe, which are just data structures) and “real side effects” (like IO/Aff/Effect, of the “launch missiles” variety)


I suppose I need to pretend to recite the history of monads and do notation in Haskell (“programmable semicolon”)

and explaining why lists model “nondeterminism” could be a whole post of its own …


You must log in to comment.