<div dir="ltr"><div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Fri, 26 Oct 2018 at 07:20, Eliot Miranda <<a href="mailto:eliot.miranda@gmail.com">eliot.miranda@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto">Hi All,<div><br></div><div>    I found this write up instructive and well-written:</div><div><a href="https://www.quora.com/What-are-some-features-youd-want-a-new-programming-language-to-borrow/answer/Quildreen-Motta" target="_blank">https://www.quora.com/What-are-some-features-youd-want-a-new-programming-language-to-borrow/answer/Quildreen-Motta</a></div><div></div></div><br></blockquote><div>Daan Leijen's done some interesting work in the area, to the extent of having built a language that implements his research area (see <a href="https://github.com/koka-lang/koka">https://github.com/koka-lang/koka</a> and <a href="https://www.microsoft.com/en-us/research/project/koka/?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fprojects%2Fkoka">https://www.microsoft.com/en-us/research/project/koka/?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fprojects%2Fkoka</a>). He's implemented effects handling in C, too (<a href="https://www.microsoft.com/en-us/research/publication/implementing-algebraic-effects-c/">https://www.microsoft.com/en-us/research/publication/implementing-algebraic-effects-c/</a>).</div><div><br></div><div>Matija Pretnar wrote a decent introduction to the concept: <a href="https://www.eff-lang.org/handlers-tutorial.pdf">https://www.eff-lang.org/handlers-tutorial.pdf</a>.</div><div><br></div><div>The what's-in-it-for-me of effects handling is that it supplies, in a single tool/abstraction/structure, something that you can use to implement asynchrony (all the async/await stuff being added to languages), exception handling, iterators, and so on. (If this sounds a lot like continuations, that's because they're related!)</div><div><br></div><div>frank </div></div></div></div>