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: fac41,953e1a6689d791f6 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,953e1a6689d791f6 X-Google-Attributes: gid103376,public From: jhd@herold.franken.de (Joachim Durchholz) Subject: Re: Eiffel and Java + Ada dispatching Date: 1996/11/03 Message-ID: <6KB9-qYk3RB@herold.franken.de>#1/1 X-Deja-AN: 194358825 references: <550sm2$sn1@buggy.news.easynet.net> newsgroups: comp.lang.eiffel,comp.lang.ada Date: 1996-11-03T00:00:00+00:00 List-Id: jsa@alexandria wrote 02.11.96: > > *However*, there is a proposal floating around that allows static type > > checking without having to resort to system-wide checks, and this is > > commonly regarded as an advance over system validity and run-time checks. > > I've heard about this - is there a pointer to the details? On the Eiffel > home page? Yes. Go to www.eiffel.com and follow the Technology Papers (or something like that) link. BTW the proposal doesn't solve *all* problems. The real problem is with covariant parameter redefinitions, which are necessary to do certain neat stuff (like parallel type hierarchies as in TREE-BINARY_TREE and NODE- BINARY_NODE) and cause all sorts of trouble and type holes. I'm not aware of a good, elegant solution, however. Regards, -Joachim -- Looking for a new job. Resume available on request. WWW version of resume available under http://www.franken.de/users/herold/jhd/resume/index.html