After reading Lindley's paper on effect handlers for arrows and applicatives, I got the gist about dynamic and static flow and that it was added to the effect system and so on. However, I do not understand two things about this paper:
- Why does it need that
Gunary operator? I kind of understand that you have to have another type to represent the function as an arrow, and that's how it was solved. I do not understand why is
Gneeded for applicatives.
- Why it requires a lambda expression receiving a
Bfor both arrow and applicative handling? Does it mean that everything that's static gets dumped into scope?
I've read previous papers by Lindley on effect handlers, and I am familiar with arrows and applicatives in Haskell.