If you really want to hunt for unused syntax and we wind up needing a (.) analogue then (-&gt;) is currently a reserved operator, so opening it up for use at the term level could be made to work, and there is a precedent with c/c++ pointer dereferencing.<div>
<br></div><div>-Edward</div><div><br><div class="gmail_quote">On Mon, Jul 1, 2013 at 1:10 AM, Edward Kmett <span dir="ltr">&lt;<a href="mailto:ekmett@gmail.com" target="_blank">ekmett@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">
(#) is a legal operator today and is used in a number of libraries.<div class="HOEnZb"><div class="h5"><br><br><div class="gmail_quote">On Sun, Jun 30, 2013 at 11:38 PM,  <span dir="ltr">&lt;<a href="mailto:amindfv@gmail.com" target="_blank">amindfv@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">As long as we&#39;re bikeshedding...<br>
<br>
Possibly &#39;#&#39; is unused syntax -- Erlang uses it for its records too, so we wouldn&#39;t be pulling it out of thin air. E.g. &quot;person#firstName&quot;<br>
<br>
Tom<br>
<br>
<br>
El Jun 30, 2013, a las 22:59, AntC &lt;<a href="mailto:anthony_clayden@clear.net.nz" target="_blank">anthony_clayden@clear.net.nz</a>&gt; escribió:<br>
<div><div><br>
&gt;&gt; Carter Schonwald &lt;carter.schonwald &lt;at&gt; <a href="http://gmail.com" target="_blank">gmail.com</a>&gt; writes:<br>
&gt;&gt;<br>
&gt;&gt; indeed, this relates / augments record puns syntax already in<br>
&gt; GHC <a href="http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-" target="_blank">http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-</a><br>
&gt; extns.html#record-puns.<br>
&gt;<br>
&gt; Uh-oh. That documentation gives an example, and it exactly explains the<br>
&gt; weird type-level error I got when I tried to use the proposed syntax<br>
&gt; myself:<br>
&gt;<br>
&gt;    Note that:<br>
&gt;<br>
&gt;    *   Record punning can also be used in an expression, writing, for<br>
&gt; example,<br>
&gt;<br>
&gt;        let a = 1 in C {a}            -- !!!<br>
&gt;<br>
&gt;        instead of<br>
&gt;<br>
&gt;        let a = 1 in C {a = a}<br>
&gt;<br>
&gt;        The expansion is purely syntactic, so the expanded right-hand side<br>
&gt; expression refers to the nearest enclosing variable that is spelled the<br>
&gt; same as the field name.<br>
&gt;<br>
&gt; IOW the proposal _does_ conflict with existing syntax. (And I guess I can<br>
&gt; see a use for the example. Note that outside of that let binding, `a`<br>
&gt; would be a field selector function generated from the data decl in which<br>
&gt; field `a` appears -- that&#39;s the weirdity I got.)<br>
&gt;<br>
&gt; I suppose the existing syntax has a data constructor in front of the<br>
&gt; braces, whereas the proposal wants a term. But of course a data<br>
&gt; constructor is a term.<br>
&gt;<br>
&gt; So the proposal would be a breaking change. Rats! Is anybody using that<br>
&gt; feature?<br>
&gt;<br>
&gt;&gt;<br>
&gt;&gt; On Sun, Jun 30, 2013 at 2:59 AM, Judah Jacobson &lt;judah.jacobson &lt;at&gt;<br>
&gt; <a href="http://gmail.com" target="_blank">gmail.com</a>&gt; wrote:<br>
&gt;&gt;<br>
&gt;&gt; Unlike dot notation, this is unambiguous and doesn&#39;t conflict with any<br>
&gt; existing syntax (AFAIK). ...<br>
&gt;<br>
&gt;<br>
&gt; _______________________________________________<br>
&gt; Glasgow-haskell-users mailing list<br>
&gt; <a href="mailto:Glasgow-haskell-users@haskell.org" target="_blank">Glasgow-haskell-users@haskell.org</a><br>
&gt; <a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br>
<br>
_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org" target="_blank">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br>
</div></div></blockquote></div><br>
</div></div></blockquote></div><br></div>