The Importance of Allowing Effects to Die
When should we let an effect die?
If I understand correctly, letting an effect
Am I missing something?
If I understand correctly, letting an effect
die effectively terminates the fiber and thus the consumer of that effect wouldn't have chance to handle it. But it is often impossible for an effect author to know if certain failure is recoverable or not from the effect consumer's point of view, which leads me to the conclusion that any effect that is not in the outermost level must not die. Besides, a dying effect doesn't tell its die-able nature in its type signature.Am I missing something?
