Good point. That part I missed, withdraw this part of the argument.<br><br>On Monday, October 22, 2012 4:05:13 AM UTC-7, Anthony Ramine wrote:<blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">Also MODIFIER LETTER COLON (U+A789) is in category Sk (Symbol, Modifier)
<br>and both RATIO (U+2236) and HEBREW PUNCTUATION SOF PASUQ (U+05C3) are in
<br>Po (Punctuation, Other).
<br>
<br>None of these categories are included in the categories of Richard's EEP,
<br>thus the compiler would fail with a syntax error, giving the exact location
<br>of the "wrong colon" character.
<br>
<br>--
<br>Anthony Ramine
<br>
<br>Le 22 oct. 2012 à 12:51, Anthony Ramine a écrit :
<br>
<br>> Should we also forbid quoted atoms to avoid evil atoms like '
<br>> % this one that contain comments and newlines
<br>> and_also() -> some_code.'? Or should we do the usual thing,
<br>> let our coding environment inform us of the nature of the
<br>> characters through lexical highlighting?
<br>>
<br>> --
<br>> Anthony Ramine
<br>>
<br>>
<br>> Le 22 oct. 2012 à 12:45, Yurii Rashkovskii a écrit :
<br>>
<br>>> Also, consider this: there are characters that look the same but encoded differently. We don't need to go far: the colon character. Lets suppose Erlang's "native" colon is U+003A. Now, there is at least three characters that look very similar: U+A789, U+2236, U+05C3. Now you can produce a code that will confuse the hell out of you. Which colon is the right colon?
<br>>>
<br>>> On Monday, October 22, 2012 3:36:20 AM UTC-7, Loïc Hoguin wrote:
<br>>> On 10/22/2012 08:00 AM, Anthony Ramine wrote:
<br>>>> Also non-latin users who don't know English should be able to use
<br>>>> atoms and variables they understand.
<br>>> Can't stress this enough.
<br>>>
<br>>> --
<br>>> Loïc Hoguin
<br>>> Erlang Cowboy
<br>>> Nine Nines
<br>>> <a href="http://ninenines.eu" target="_blank">http://ninenines.eu</a>
<br>>> ______________________________<wbr>_________________
<br>>> erlang-questions mailing list
<br>>> <a>erlang-q...@erlang.org</a>
<br>>> <a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/<wbr>listinfo/erlang-questions</a>
<br>>>
<br>>>
<br>>
<br>
<br>______________________________<wbr>_________________
<br>erlang-questions mailing list
<br><a href="javascript:" target="_blank" gdf-obfuscated-mailto="oCpSgHslWToJ">erlang-q...@erlang.org</a>
<br><a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/<wbr>listinfo/erlang-questions</a>
<br></blockquote>