[Aldor-l] [Aldor-combinat-devel] Set

[Martin Rubey]

Ralf Hemmecke <ralf at hemmecke.de> writes:

> > Maybe the right name would be "OrderedSet".
> 
> DEFINITELY not. What is was asking for has NOTHING to do with the order on
> the underlying type T in 'Set(T)'.

But that's not what I was implying. On the other hand I do not really know what
you are looking for. In particular,

would 

a: RalfSet := [1,2,3]
b: RalfSet := [3,2,1]

imply a=b or not?

OrderedSet was from the top of my head, very likely wrong, but first of all I
would have to understand what you want.

> It seems, that you like to write
> 
> MyPkg(LT: ListType): with {foo: LT -> Integer} == add {
>      foo(l: LT): Integer == ...
> }

Well, I often write that. I don't like it though.
 
> Is that so bad?

I'd need more time to find an example, but I'm out of time currently. Likely
until November 19, that's the deadline for FPSAC 07. Fortunately, Software
Presentations have time until February.

Martin