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 …
