<div dir="ltr"><div>Sorry I have missed this until now. Isn't this similar to the elixir 'with ... do ... error ... end' construct? At least in trying to flatten potential nested cases? Though it seems to be more specific in how it handles the return values.</div><div><br></div><div>Robert</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr">On Tue, 4 Sep 2018 at 23:07, Fred Hebert <<a href="mailto:mononcqc@ferd.ca">mononcqc@ferd.ca</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">This EEP adds a contextual <~ operator to begin ... end expressions, <br>
which allows them to be usable for value-based error handling, based on <br>
standard {ok, term()} | {error, term()} return value types.<br>
<br>
This lets begin ... end become a control flow construct to replace or <br>
simplify deeply-nested case ... end expressions, and prevent using <br>
exceptions for control flow.<br>
<br>
I want to thank Jesper Louis Andersen, Sean Cribbs, Tristan Sloughter, <br>
Evan Vigil-McClanahan, Anthony Ramine, Bryan Paxton, and Pedram Nimreezi <br>
for their feedback on this document.<br>
<br>
The draft is attached to this document, and also available (along with <br>
an incomplete reference implementation to explore some semantics) at <br>
<a href="https://bitbucket.org/ferd/unwrap" rel="noreferrer" target="_blank">https://bitbucket.org/ferd/unwrap</a><br>
<br>
Sorry for sending a first copy without the attachment,<br>
Fred.<br>
_______________________________________________<br>
eeps mailing list<br>
<a href="mailto:eeps@erlang.org" target="_blank">eeps@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/eeps" rel="noreferrer" target="_blank">http://erlang.org/mailman/listinfo/eeps</a><br>
</blockquote></div>