<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div style="font-family:Calibri,"Segoe UI",Meiryo,"Microsoft YaHei UI","Microsoft JhengHei UI","Malgun Gothic","Khmer UI","Nirmala UI",Tunga,"Lao UI",Ebrima,sans-serif;font-size:14.66px;">
<div>Why is there concern about uniqueness at all? Won’t this be inside a module?</div>
<div class=" hide-outline"> </div>
<div class=" hide-outline" data-focusfrompointer="true">import Symbol from "@symbols"</div>
 
<div style="border-top-color: rgb(229, 229, 229); border-top-width: 2px; border-top-style: solid;">
<strong>From:</strong> François REMY<br>
<strong>Sent:</strong> Wednesday, August 1, 2012 17:07:02<br>
<strong>To:</strong> Rick Waldron, Mark S. Miller<br>
<strong>CC:</strong> es-discuss<br>
<strong>Subject:</strong> RE: The Name of the Name<br>
</div>
<div> </div>
<meta name="Generator" content="Microsoft SafeHTML">
<div>
<div style="font-family: Calibri,sans-serif; font-size: 11pt;">Symbol could already be used by parsers and compilers. What about UniqueName?<br>
</div>
</div>
<hr>
<span style="font-family: Tahoma,sans-serif; font-size: 10pt; font-weight: bold;">De :
</span><span style="font-family: Tahoma,sans-serif; font-size: 10pt;">Rick Waldron</span><br>
<span style="font-family: Tahoma,sans-serif; font-size: 10pt; font-weight: bold;">Envoyé :
</span><span style="font-family: Tahoma,sans-serif; font-size: 10pt;">01/08/2012 22:34</span><br>
<span style="font-family: Tahoma,sans-serif; font-size: 10pt; font-weight: bold;">À :
</span><span style="font-family: Tahoma,sans-serif; font-size: 10pt;">Mark S. Miller</span><br>
<span style="font-family: Tahoma,sans-serif; font-size: 10pt; font-weight: bold;">Cc :
</span><span style="font-family: Tahoma,sans-serif; font-size: 10pt;">es-discuss</span><br>
<span style="font-family: Tahoma,sans-serif; font-size: 10pt; font-weight: bold;">Objet :
</span><span style="font-family: Tahoma,sans-serif; font-size: 10pt;">Re: The Name of the Name</span><br>
<br>
<div id="reply-content"><br>
</div>
<div id="13DFDA752F1242AF8B263C6A0E7B7349">
<div><br>
</div>
</div>
<p style="color: rgb(160, 160, 168);">On Wednesday, August 1, 2012 at 4:26 PM, Mark S. Miller wrote:</p>
<blockquote style="border-width: 1px; padding-left: 10px; margin-left: 0px; border-left-style: solid;">
<div id="quoted-message-content">
<div>
<div>I like it. +1.</div>
<div><br>
</div>
</div>
</div>
</blockquote>
<div>Symbol was on my short list but worried it was too similar to Name.</div>
<div><br>
</div>
<div>It seems less likely to conflict with extant code, but not by much.</div>
<div><br>
</div>
<div>+1 (but we can get weirder if we wanted to)<span class="Apple-style-span"> </span></div>
<div> </div>
<div>Rick </div>
<blockquote style="border-width: 1px; padding-left: 10px; margin-left: 0px; border-left-style: solid;">
<div id="quoted-message-content">
<div>
<div> </div>
<div>On Wed, Aug 1, 2012 at 1:22 PM, Kevin Reid <kpreid@google.com> wrote:</div>
<blockquote>
<div>
<div>Lisp precedent: Objects which are used to name things (that is, they</div>
<div>are used as keys by identity), and may be not globally-named</div>
<div>themselves, are called symbols.</div>
<div><br>
</div>
<div>On Wed, Aug 1, 2012 at 12:47 PM, Mark S. Miller <erights@google.com> wrote:</div>
<blockquote>
<div>
<div><br>
</div>
<div>Now that we have both private Names and unique Names, the general</div>
<div>category covering both is simply Names. Properties can therefore be</div>
<div>indexed by strings or Names. Strings are the ones consisting of a</div>
<div>sequence of characters that can typically be pronounced. Names are</div>
<div>anonymous identities.</div>
<div><br>
</div>
<div>In the real world, names and identities are distinct concepts, and</div>
<div>names are the one corresponding to a unique sequence of characters</div>
<div>that can be pronounced.</div>
<div><br>
</div>
<div>Is "Name" exactly the wrong name for a opaque unique identity</div>
<div>typically used to index a property? Is there a better term?</div>
<div><br>
</div>
<div>--</div>
<div>Cheers,</div>
<div>--MarkM</div>
<div>_______________________________________________</div>
<div>es-discuss mailing list</div>
<div>es-discuss@mozilla.org</div>
<div>https://mail.mozilla.org/listinfo/es-discuss</div>
</div>
</blockquote>
</div>
</blockquote>
<div><br>
</div>
<div><br>
</div>
<div><br>
</div>
<div>-- </div>
<div>Cheers,</div>
<div>--MarkM</div>
<div>_______________________________________________</div>
<div>es-discuss mailing list</div>
<div>es-discuss@mozilla.org</div>
<div>https://mail.mozilla.org/listinfo/es-discuss</div>
</div>
</div>
</blockquote>
<div><br>
</div>
</div>
</body>
</html>