From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 109fba,b87849933931bc93 X-Google-Attributes: gid109fba,public X-Google-Thread: fac41,b87849933931bc93 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,b87849933931bc93 X-Google-Attributes: gid103376,public X-Google-Thread: 1108a1,b87849933931bc93 X-Google-Attributes: gid1108a1,public X-Google-Thread: 114809,b87849933931bc93 X-Google-Attributes: gid114809,public From: jhd@herold.franken.de (Joachim Durchholz) Subject: Re: Multiple Type Interfaces Date: 1997/01/29 Message-ID: <6PnYBQJ-3RB@herold.franken.de>#1/1 X-Deja-AN: 213015904 references: <6PUKuJvV3RB@herold.franken.de> newsgroups: comp.lang.eiffel,comp.lang.ada,comp.lang.c++,comp.lang.smalltalk,comp.object Date: 1997-01-29T00:00:00+00:00 List-Id: Dave wrote: > tightly coupled. Nevertheless, why not define a language so components can > export multiple types which may be extended in other related "derived" > components? This is quite along some lines I've been thinking too, for totally unrelated reasons. It is one of the solutions being considered in the OO language research community for the problems that arise around the following keywords: - parallel type hierarchies - binary methods - covariant vs. contravariant parameter redefinition Unfortunately, no definite answer has been presented yet. I'm about to relocate, so I can't give any references right now, but mail me in a week or two and I may be able to dig up a few names and URLs. Regards, -Joachim -- Joachim Durchholz, Hans-Herold-Str. 25, D-91074 Herzogenaurach, GERMANY