<div dir="ltr"><div>Awesome, thanks! (That's a google-suggested automatic reply, first time I try it, but really thanks).</div><div><br></div><div>So to make it clear, the current implementation of Collection>>hash implies that if two Collections are equal, then they must at least 1) be the same species, and 2) have equal elements. New Collections can have more requirements in order to be equal, but those two are necessary otherwise the hashes won't match. This is the essence of a Collection's identity.</div><div><br></div><div>BTW, do you think 'aCollection includes: anObject' should work without errors for arbitrary anObject instance of any class? I had a similar problem with algebraic structures (what I call Domains), and I ended up implementing #includes: to work for arbitrary objects, and a new message #contains: (not the best name, might think a better one in the future) that is faster and simpler and assumes the objects are of a certain type. I don't think we need two messages like that for Collections, but I still don't know what's the correct way of thinking about Collection>>includes:, and if we think that it should work for arbitrary objects we can try a similar script to test 'aCollection includes: Object new' in all instances of Collections... without trying that, I know that Interval fails for anything that is not a Number, not sure if should be fixed or not. What do you think?</div><div><br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Jun 11, 2019 at 5:25 PM Juan Vuletich <<a href="mailto:juan@jvuletich.org" target="_blank">juan@jvuletich.org</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">On 6/11/2019 8:49 AM, Luciano Notarfrancesco via Cuis-dev wrote:<br>
> I did this to fish for inconsistencies:<br>
><br>
> instances _ OrderedCollection new.<br>
> Object withAllSubclassesDo: [:each| instances addAll: each allInstances].<br>
> instances _ instances asArray.<br>
><br>
> 1 to: instances size do: [:i|<br>
>     a _ instances at: i.<br>
>     aHash _ a hash.<br>
>     i+1 to: instances size do: [:j|<br>
>         b _ instances at: j.<br>
>         (a = b and: [(aHash = b hash and: [b = a]) not]) ifTrue: [self <br>
> halt]]]<br>
><br>
> (I typed it manually here, I hope I copied it right, but you get the <br>
> idea.)<br>
><br>
> Found out this:<br>
> - FeatureRequest forgets to implement hash;<br>
> - #() = Semaphore new, but not the other way around, and hashes also <br>
> differ;<br>
> - similarly, LinkedList new = Semaphore new;<br>
> - RunArray new = Object new fails because it assumes the argument is a <br>
> Collection and sends isSequenceable;<br>
> - RunArray new = Text new, but hashes differ;<br>
> - Set new = Dictionary new but hashes differ;<br>
><br>
> And there are more, I stopped before finishing.<br>
><br>
> I don't know how to fix some of those, and the implications of <br>
> changing the behavior of #= or #hash are not obvious in some cases. <br>
> But I think we should change Collection>>hash to set the initial value <br>
> to 0 instead of 'self species hash', and that would fix two of the <br>
> issues above. What do you think? Other ideas?<br>
<br>
I just pushed fixes to most of them. For Semaphore and RunArray it is a <br>
matter of implementing and honoring #species. For Set, it was making <br>
aDictionary is: #Set to answer false. For the others it was adding a new <br>
#hash or #= methods. I don't expect much breakeage.<br>
<br>
I'll run now a tweaked (hopefully faster) version of your script.<br>
<br>
Cheers,<br>
<br>
-- <br>
Juan Vuletich<br>
<a href="http://www.cuis-smalltalk.org" rel="noreferrer" target="_blank">www.cuis-smalltalk.org</a><br>
<a href="https://github.com/Cuis-Smalltalk/Cuis-Smalltalk-Dev" rel="noreferrer" target="_blank">https://github.com/Cuis-Smalltalk/Cuis-Smalltalk-Dev</a><br>
<a href="https://github.com/jvuletich" rel="noreferrer" target="_blank">https://github.com/jvuletich</a><br>
<a href="https://www.linkedin.com/in/juan-vuletich-75611b3" rel="noreferrer" target="_blank">https://www.linkedin.com/in/juan-vuletich-75611b3</a><br>
@JuanVuletich<br>
<br>
</blockquote></div>