May 9, 2009
4:15 p.m.
On 9 May 2009, at 11:17, spir wrote:
I feel the same. Unorder (like in dict or set) is not a feature, I guess. Set is useful for it ensures uniqueness of items, not because of unorder.
That is one reason why sets are useful. Another reason, which is at least as important, is that {1,2}=={2,1} is true - and that's precisely because the elements are not ordered. So absence of order is definitely a useful feature. -- Arnaud