We should choose whether we distinguish between the types of user-defined effects using "concrete/abstract" or "static/dynamic" terminology. I prefer the former but existing effect systems seem to use the word "dynamic" so maybe we should use the latter. In any case, we shouldn't mix the terminologies!
We should choose whether we distinguish between the types of user-defined effects using "concrete/abstract" or "static/dynamic" terminology. I prefer the former but existing effect systems seem to use the word "dynamic" so maybe we should use the latter. In any case, we shouldn't mix the terminologies!