<div dir="ltr"><div><div><div>If we're adding applicative brackets, it would be nice to have something like ⦇⦈ as options via UnicodeSyntax. When playing around with She, I found it much easier to read than the ASCII version, especially when I needed to combine them:<br>
<br></div> (|(|a + b|) + (|c * d|)|)<br></div> ⦇⦇a + b⦈ + ⦇c * d⦈⦈<br><br></div>Coincidentally, She is the perfect way to experiment with idiom brackets while thinking about a patch like this. I found it very illustrative just to go through old code and see what could really be improved and what couldn't. For me personally, I certainly found *some* code became more readable, but not quite as much as I expected.<br>
</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Aug 15, 2013 at 10:44 AM, Anton Nikishaev <span dir="ltr"><<a href="mailto:me@lelf.lu" target="_blank">me@lelf.lu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">Simon Peyton-Jones <<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>> writes:<br>
<br>
> | Indeed, I wished the 0-ary case would be more alike to the unary<br>
> | and binary case, cf.<br>
> |<br>
> | return f0<br>
> | f1 <$> a1<br>
> | f2 <$> a1 <*> a2<br>
> |<br>
> | What is needed is a nice syntax for "idiom brackets".<br>
><br>
> Indeed. I'm quite open to adding idiom brackets to GHC, if everyone<br>
> can agree on their syntax, and someone would like to offer a patch.<br>
><br>
> Something like<br>
> (| f a1 a2 |)<br>
> perhaps?<br>
<br>
</div>I can make a patch after people agree on everything.<br>
<br>
There's also <a href="http://hackage.haskell.org/package/applicative-quoters" target="_blank">http://hackage.haskell.org/package/applicative-quoters</a> with<br>
its template haskell nastiness<br>
<br>
h> :m +Control.Applicative.QQ.Idiom<br>
h> :set -XQuasiQuotes<br>
h> [i| (,) "THX" "BYE" |]<br>
[('T','B'),('T','Y'),('T','E'),('H','B'),('H','Y'),('H','E'),('X','B'),('X','Y'),('X','E')]<br>
<span class="HOEnZb"><font color="#888888"><br>
<br>
<br>
--<br>
lelf<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
<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>