I'm very happy to see all the work you're putting into the record discussion, but I'm struggling to see why people are fighting so hard to get the dot character in particular for field access. It seems like a huge amount of work and discussion for a tiny bit of syntactic convenience that we've only come to expect because of exposure to other very different languages.<br>
<br>Is there some fundamental reason we couldn't settle for something like # (a valid operator, but we've already shown we're willing to throw that away in the MagicHash extension) or @ (only allowed in patterns for now)? Or we could even keep (#) as a valid operator and just have it mean category/lens composition.<div>
<br></div><div>Thanks,</div><div>Dan<br><br><div class="gmail_quote">On Thu, Feb 9, 2012 at 9:11 PM, Greg Weber <span dir="ltr"><<a href="mailto:greg@gregweber.info">greg@gregweber.info</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Similar to proposal #20, which wants to remove it, but immediately<br>
less drastic, even though the long-term goal is the same.<br>
This helps clear the way for the usage of the unspaced dot as a record<br>
field selector as shown in proposal #129.<br>
<br>
After this proposal shows clear signs of moving forward I will add a<br>
proposal to support a unicode dot for function composition.<br>
After that we can all have a lively discussion about how to fully<br>
replace the ascii dot with an ascii alternative such as <~ or <<<<br>
After that we can make the dot operator illegal by default.<br>
<br>
This has already been discussed as part of a records solution on the<br>
ghc-users mail list and documented here:<br>
<a href="http://hackage.haskell.org/trac/ghc/wiki/Records/DotOperator" target="_blank">http://hackage.haskell.org/trac/ghc/wiki/Records/DotOperator</a><br>
<br>
_______________________________________________<br>
Haskell-prime mailing list<br>
<a href="mailto:Haskell-prime@haskell.org">Haskell-prime@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-prime" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-prime</a><br>
</blockquote></div><br></div>