There's a great talk by Brandon Bloom that goes over some of the compelling points of Eff - it really helped drive home some of the benefits of Eff for me https

There's a great talk by Brandon Bloom that goes over some of the compelling points of Eff - it really helped drive home some of the benefits of Eff for me https://www.mixcloud.com/paperswelove/bbloom_3_17_2014_programming_with_alegebraic_effectshandlers/ https://www.mixcloud.com/paperswelove/bbloom_3_17_2014_progr... I'd love to write a programmatic abstract interpreter for JS that used dynamic effect handlers - editors, typing tools, refactoring tools, etc. could use it for inferred typing (much like Flow, but without a ton of the plumbing they had to build), dead code elimination, scope highlighting, etc. Writing a LightTable-like system would be (relatively) trivial as well. But it's predicated on the ideas exposed by Eff.