📝§ 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