<div dir="auto"><div dir="auto"><span style="font-family:-apple-system,helveticaneue;font-size:16px;font-style:normal;font-weight:400;letter-spacing:normal;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;float:none;display:inline!important;background-color:rgba(0,0,0,0);border-color:rgb(0,0,0);color:rgb(0,0,0)">It is interesting to imagine what other things a symbol could be, if not text</span><span style="font-size:16px;font-style:normal;font-weight:400;letter-spacing:normal;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;font-family:-apple-system,helveticaneue;background-color:rgba(0,0,0,0);border-color:rgb(0,0,0);color:rgb(0,0,0)">, for example in a graphical language. However I </span>don’t see a clear benefit for Cuis in allowing arbitrary objects for symbols instead of only strings, and it would be difficult, as you point out, because everywhere in the image we assume they are strings and they correspond to identifiers and message selectors following the grammar rules (binaries with some set of characters, keywords with colons before each arguments, etc). AFAIK the VM doesn’t care what selectors are tho… they could be SmallIntegers, or Morphs...</div><div dir="auto"><br></div><div dir="auto">Interesting that in Bee #abc ~= ‘abc’… is there a good reason to do that? In Cuis they are equal.</div><div dir="auto"><br></div><div dir="auto">Regards,</div><div dir="auto">Luciano</div></div><div dir="auto"><br></div><div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Mon, Jan 27, 2025 at 20:24 Javier Pimás <<a href="mailto:elpochodelagente@gmail.com">elpochodelagente@gmail.com</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 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"></div><div class="gmail_quote"><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" 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><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-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><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-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><div dir="auto"></div></blockquote><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="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>
</blockquote></div></div>