<p dir="ltr">Exploring alternative formulations is great, but I think it's (mostly?) orthogonal to this thread's original email: Jan found the RebindableSyntax support for Arrow to be disappointing hamstrung. I've had a similar experience in the past; the occurrences of the combinators seem to have overly restrictive type ascriptions in the desugared terms.</p>
<p dir="ltr">I don't think resolving that necessarily involves changing the Arrow class. Just the desugaring algorithm would have to change (hopefully).</p>
<br><div class="gmail_quote"><div dir="ltr">On Wed, Dec 21, 2016, 08:52 Boespflug, Mathieu <<a href="mailto:m@tweag.io">m@tweag.io</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class="gmail_msg">And Opaleye (a successor to haskellDB, for safe interaction with SQL databases) also uses arrow notation last I checked. As I recall do-notation is too powerful, whereas proc-notation provides exactly the right expressive power (no illegal SQL queries can be expressed). But that's not to say Tom (author of Opaleye) couldn't be content with a profunctor-based desugaring rather than an Arrow-based one?</div><div class="gmail_extra gmail_msg"><br clear="all" class="gmail_msg"><div class="gmail_msg"><div class="m_3504155568156189030gmail_signature gmail_msg" data-smartmail="gmail_signature">--<br class="gmail_msg">Mathieu Boespflug<br class="gmail_msg">Founder at <a href="http://tweag.io" class="gmail_msg" target="_blank">http://tweag.io</a>.</div></div></div><div class="gmail_extra gmail_msg">
<br class="gmail_msg"><div class="gmail_quote gmail_msg">On 21 December 2016 at 16:31, Brandon Allbery <span dir="ltr" class="gmail_msg"><<a href="mailto:allbery.b@gmail.com" class="gmail_msg" target="_blank">allbery.b@gmail.com</a>></span> wrote:<br class="gmail_msg"><blockquote class="gmail_quote gmail_msg" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class="gmail_msg"><div class="gmail_extra gmail_msg"><span class="gmail_msg"><div class="gmail_quote gmail_msg">On Wed, Dec 21, 2016 at 12:15 AM, Edward Kmett <span dir="ltr" class="gmail_msg"><<a href="mailto:ekmett@gmail.com" class="gmail_msg" target="_blank">ekmett@gmail.com</a>></span> wrote:<blockquote class="gmail_quote gmail_msg" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="gmail_msg">Given that little new code seems to be being written with Arrows in mind, while some older code makes heavy use of it (hxt, etc.), refactoring the arrow hierarchy is kind of a hard sell. It is by no means impossible, just something that would require a fair bit of community wrangling and a lot of work showing clear advantages to a new status quo at a time when its very hard to get anybody to care about arrow notation at all.</div></blockquote></div><br class="gmail_msg"></span>The arrowized-FRP folks seem to care a fair bit.<span class="m_3504155568156189030HOEnZb gmail_msg"><font color="#888888" class="gmail_msg"><br class="gmail_msg"><div class="gmail_msg"><br class="gmail_msg"></div>-- <br class="gmail_msg"><div class="m_3504155568156189030m_7380446894085911101gmail_signature gmail_msg" data-smartmail="gmail_signature"><div dir="ltr" class="gmail_msg"><div class="gmail_msg">brandon s allbery kf8nh sine nomine associates</div><div class="gmail_msg"><a href="mailto:allbery.b@gmail.com" class="gmail_msg" target="_blank">allbery.b@gmail.com</a> <a href="mailto:ballbery@sinenomine.net" class="gmail_msg" target="_blank">ballbery@sinenomine.net</a></div><div class="gmail_msg">unix, openafs, kerberos, infrastructure, xmonad <a href="http://sinenomine.net" class="gmail_msg" target="_blank">http://sinenomine.net</a></div></div></div>
</font></span></div></div>
<br class="gmail_msg">_______________________________________________<br class="gmail_msg">
ghc-devs mailing list<br class="gmail_msg">
<a href="mailto:ghc-devs@haskell.org" class="gmail_msg" target="_blank">ghc-devs@haskell.org</a><br class="gmail_msg">
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" class="gmail_msg" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br class="gmail_msg">
<br class="gmail_msg"></blockquote></div><br class="gmail_msg"></div>
_______________________________________________<br class="gmail_msg">
ghc-devs mailing list<br class="gmail_msg">
<a href="mailto:ghc-devs@haskell.org" class="gmail_msg" target="_blank">ghc-devs@haskell.org</a><br class="gmail_msg">
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" class="gmail_msg" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br class="gmail_msg">
</blockquote></div>