Re: generics with multiple constraints

On Fri, 01 Sep 2006 11:00:06 +0200, Damian D. <qoocku@[EMAIL PROTECTED]
> wrote:

> I do no know the ISE Eiffel class library but I suggest to create a
> class X inheriting COMPARABLE and HASHABLE and use A [B->X]

This only solves part of the problem. Normally you already have cl*****  
that inherit from COMPARABLE and HASHABLE in some library. You want to  
provide functionality that is relying on these two aspects (for example by
 
creating some kind of sorted list using hashtables).

Then you want - for example - to put INTEGERs into that list. While  
INTEGER inherits from HASHABLE and COMPARABLE, there is no common  
superclass that abstracts exactly that combination. And it is difficult to
 
"squeeze" that into the kernel library.

Bernd

-- 
Using Opera's revolutionary e-mail client: http://www.opera.com/mail/