<div dir="ltr">Now that the thread has been resurrected. I also thought about this when working on Bee. A<div>symbol being a holder of a token _and_ also an arity. I always thought of parsing elements and</div><div>counting colons an unpleasant part of Symbol design.</div><div><br></div><div>We never tried it, as it would take quite some work, and I feared we could find some insurmountable</div><div>problem in the road ending with a waste of too much time. The extra benefit of dropping the duplicated</div><div>unicode/String hierarchy was motivating though.</div><div><br></div><div>Some questions I got at that moment:</div><div>- How would equality between String and Symbol work (in Bee #abc = 'abc' is false).</div><div>- What would be the required protocol for the token? Can we have horses as tokens? what if they move a leg :)</div><div>- The token would become something opaque, without needing to be a String, hence without its api, would that be good or bad?</div><div><br></div><div>Best regards,</div><div>Pocho</div></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Mon, Jan 27, 2025 at 9:38 AM Luciano Notarfrancesco via Cuis-dev <<a href="mailto:cuis-dev@lists.cuis.st">cuis-dev@lists.cuis.st</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><br></div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jan 27, 2025 at 19:33 Luciano Notarfrancesco <<a href="mailto:luchiano@gmail.com" target="_blank">luchiano@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto">I tend to think of #= as an equivalence relation, and #== as the actual equality of set theory.</div></blockquote><div dir="auto"><br></div><div dir="auto">I mean, not really “the equality of set theory”, but the underlying, most basic equality of elements (instances) in Smalltak.</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto"></div></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto"><br></div></blockquote></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>