<div dir="ltr"><div style class="markdown-here-wrapper" id="markdown-here-wrapper-518015"><p style="margin:1.2em 0px!important">I particularly like she&#39;s (her?) syntax for Alternative.  Not sure whether or not Idris has that.  Applicative tuples would be nice too, something like <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px 3px 3px 3px;display:inline">(|a,b,c|)</code> translating to <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px 3px 3px 3px;display:inline">liftA3 (,,) a b c</code>.  And operators too, <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px 3px 3px 3px;display:inline">liftA2 (+) a b</code> as <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px 3px 3px 3px;display:inline">(| a + b |)</code>?</p>


</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Aug 15, 2013 at 11:08 AM, Erik Hesselink <span dir="ltr">&lt;<a href="mailto:hesselink@gmail.com" target="_blank">hesselink@gmail.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Thu, Aug 15, 2013 at 5:39 AM, Jason Dagit &lt;<a href="mailto:dagitj@gmail.com">dagitj@gmail.com</a>&gt; wrote:<br>


&gt; Also, if anyone wants to look at prior art first, Idris supports applicative<br>
&gt; brackets.<br>
<br>
</div>As does she [0].<br>
<br>
Erik<br>
<br>
[0] <a href="https://personal.cis.strath.ac.uk/conor.mcbride/pub/she/idiom.html" target="_blank">https://personal.cis.strath.ac.uk/conor.mcbride/pub/she/idiom.html</a><br>
<div class="HOEnZb"><div class="h5"><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>