Google Summer of Code

Massimo Dentico m.dentico at
Fri Jun 10 13:12:40 PDT 2005

Just to clarify.

"Robin Green" <greenrd at> wrote:
> No it doesn't. I already proved otherwise: that you can have Sets which aren't
> Bags in both, and you can have Sets which *are* Bags in both, ***depending on how
> you define a bag***.

I wrote:
> > A Set is a special case of a Bag and so is a Circle wrt an Ellipse,
> > period. OO is supposed to mimic the ***application domain faithfully..***
> > so why is it not able to render this subset relation properly?

Emphasis added.

Sets and Bags are mathematical concepts, you cannot arbitrary redefine
them just to make happy your favorite OO language.


Massimo Dentico

More information about the TUNES mailing list