<div><div><div style="font-family:-apple-system,"helvetica neue";font-size:1rem;background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)">On Fri, Nov 29, 2024 at 18:10 Hernán Wilkinson <<a href="mailto:hernan.wilkinson@10pines.com">hernan.wilkinson@10pines.com</a>> wrote:<br></div><div style="font-family:-apple-system,"helvetica neue";background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)"><div style="font-family:-apple-system,"helvetica neue";font-size:16px;font-style:normal;font-weight:400;letter-spacing:normal;text-indent:0px;text-transform:none;white-space:normal;word-spacing:1px;text-decoration:none;background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)" class="elided-text"><blockquote style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;font-family:-apple-system,"helvetica neue";background-color:rgba(0,0,0,0);border-color:rgb(49,49,49) rgb(49,49,49) rgb(49,49,49) rgb(204,204,204);color:rgb(49,49,49)"><div dir="ltr" style="font-family:-apple-system,"helvetica neue";font-size:1rem;background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)">Hi Luciano,<div style="font-family:-apple-system,"helvetica neue";font-size:1rem;background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)"> I think that makes sense from the design point of view but if I'm not wrong, those two classes are just an intermediate step to the final design where only one will exist ... I think Juan knows better about this.</div></div></blockquote><div dir="auto" style="font-family:-apple-system,"helvetica neue";background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)"><br></div><div dir="auto" style="font-family:-apple-system,"helvetica neue";font-size:1rem;background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)">Ah, I should have guessed, thanks.</div><div dir="auto" style="font-family:-apple-system,"helvetica neue";background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)"><br></div><blockquote style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;font-family:-apple-system,"helvetica neue";background-color:rgba(0,0,0,0);border-color:rgb(49,49,49) rgb(49,49,49) rgb(49,49,49) rgb(204,204,204);color:rgb(49,49,49)"><div dir="ltr" style="font-family:-apple-system,"helvetica neue";background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)"><div dir="auto" style="font-family:-apple-system,"helvetica neue";background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)"></div><div style="font-family:-apple-system,"helvetica neue";font-size:1rem;background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)">There is another thing I'd like to talk about because you use the word equality to reference == and I use the word identity... for me == means "identical object" and = means "objects that represent the same entity" (when I say "means", I should say "are used to know if ..." )... anyway, just a comment because it "surprised" that you used the word equality for == </div></div></blockquote><div dir="auto" style="font-family:-apple-system,"helvetica neue";background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)"><br></div><div dir="auto" style="font-family:-apple-system,"helvetica neue";font-size:1rem;background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)">Yes, I usually call it identity in Smalltalk, but I was thinking more in a mathematical context, and emphasizing that for symbols equality is identity.</div><div dir="auto" style="font-family:-apple-system,"helvetica neue";background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)"><br></div><div dir="auto" style="font-family:-apple-system,"helvetica neue";font-size:1rem;background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)">Thanks!</div><div dir="auto" style="font-family:-apple-system,"helvetica neue";font-size:1rem;background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)">Luciano</div></div></div><br></div><br></div><div><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><div dir="ltr"><div><br>Cheers!</div><div>Hernan.</div><div><br></div></div><br><div class="gmail_quote"></div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Nov 29, 2024 at 4:28 AM Luciano Notarfrancesco via Cuis-dev <<a href="mailto:cuis-dev@lists.cuis.st" target="_blank">cuis-dev@lists.cuis.st</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><div>
<div>
<p dir="auto">If we think of == as equality, and = as an equivalence relation, the Symbol #xxx is just the equivalence class of all Strings ‘xxx’, and any String instance ‘xxx’ is a representative of that equivalence class. This construction is useful if you need to use objects under equality = in a context where equality is == (for example, keys of an IdentityDictionary). And, an IdentityDictionary with Symbols as keys is just like a Dictionary with Strings as keys. So, from this point of view, a symbol should be all about equality, about = and #hash.<br></p>
<p dir="auto">Now, in Cuis we have two parallel symbol classes depending on the type of characters in their names: Symbol and UnicodeSymbol. Would it be better to replace this with a single and more general Symbol with an instance variable ‘representative’, that can be a String, or a UnicodeString (or possibly any object)? What do you think?</p>
</div>
</div>
-- <br>
Cuis-dev mailing list<br>
<a href="mailto:Cuis-dev@lists.cuis.st" target="_blank">Cuis-dev@lists.cuis.st</a><br>
<a href="https://lists.cuis.st/mailman/listinfo/cuis-dev" rel="noreferrer" target="_blank">https://lists.cuis.st/mailman/listinfo/cuis-dev</a><br>
</blockquote></div><div><br clear="all"></div><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div style="font-size:small"><div dir="ltr"><div dir="ltr"><div style="font-size:12.8px"><span style="font-family:tahoma,sans-serif;font-size:xx-small;border-collapse:collapse"><strong style="font-family:tahoma,sans-serif"><span style="font-size:8pt;font-family:tahoma,sans-serif"><span style="font-size:small;font-family:tahoma,sans-serif"><font size="2" style="font-family:tahoma,sans-serif;color:rgb(0,0,0)"><span style="font-weight:normal;font-family:tahoma,sans-serif"><span style="font-weight:bold;font-family:tahoma,sans-serif">Hernán Wilkinson</span><br>Agile Software Development, Teaching & Coaching</span></font></span></span></strong></span></div><div style="font-size:12.8px"><span style="font-family:tahoma,sans-serif;font-size:xx-small;border-collapse:collapse"><strong style="font-family:tahoma,sans-serif"><span style="font-size:8pt;font-family:tahoma,sans-serif"><span style="font-size:small;font-family:tahoma,sans-serif"><font size="2" style="font-family:tahoma,sans-serif;color:rgb(0,0,0)"><span style="font-weight:normal;font-family:tahoma,sans-serif">Phone: +54-011</span></font></span></span></strong></span><font face="tahoma, sans-serif" size="2" style="font-family:tahoma,sans-serif;color:rgb(0,0,0)">-4893-2057</font></div><div style="font-size:12.8px"><strong style="font-family:tahoma,sans-serif;font-size:xx-small"><span style="font-size:8pt;font-family:tahoma,sans-serif"><span style="font-size:small;font-family:tahoma,sans-serif"><font size="2" style="font-family:tahoma,sans-serif;color:rgb(0,0,0)"><span style="font-weight:normal;font-family:tahoma,sans-serif">Twitter: @HernanWilkinson</span></font></span></span></strong></div><div style="font-size:12.8px"><span style="font-family:tahoma,sans-serif;font-size:xx-small;border-collapse:collapse"><strong style="font-family:tahoma,sans-serif"><span style="font-size:8pt;font-family:tahoma,sans-serif"><span style="font-size:small;font-family:tahoma,sans-serif"><font size="2" style="font-family:tahoma,sans-serif;color:rgb(0,0,0)"><span style="font-weight:normal;font-family:tahoma,sans-serif">site: <a href="http://www.10pines.com/" style="font-family:tahoma,sans-serif;color:rgb(17,65,112)" target="_blank">http://www.10Pines.com</a></span></font></span></span></strong></span></div><div style="font-size:12.8px"><font face="tahoma, sans-serif" style="font-family:tahoma,sans-serif;color:rgb(0,0,0)"><span style="border-collapse:collapse;font-family:tahoma,sans-serif">Address: Alem 896</span></font>, Floor 6, Buenos Aires, Argentina</div></div></div></div></div></div></div></div>
</blockquote></div></div>