📝§ Effect system

• Is effect system only relevant to typed languages?

• Effect systems reify effects

See also

• Common Lisp: condition system—in common lisp, condition system covers some of the similar use cases

• Dynamic scoping is a better model for global variables—Dynamic scoping can also help

• § Continuation—continuations can be used to implement effect system

• Co-effects—effect system abstract effects and co-effects abstract dependencies