5 replies

The Importance of Allowing Effects to Die

When should we let an effect die?

If I understand correctly, letting an effect

die

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?

The Importance of Allowing Effects to Die

Similar Threads

The Importance of Allowing Effects to Die

Similar Threads

Similar Threads

Similar Threads