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: jsa@alexandria (Jon S Anthony) Subject: Re: Eiffel and Java + Ada dispatching Date: 1996/11/07 Message-ID: #1/1 X-Deja-AN: 195142972 sender: news@organon.com (news) references: organization: Organon Motives, Inc. newsgroups: comp.lang.eiffel,comp.lang.ada Date: 1996-11-07T00:00:00+00:00 List-Id: In article <6KJFAjVF3RB@herold.franken.de> jhd@herold.franken.de (Joachim Durchholz) writes: > However, the central difference is that dynamic binding is always there in > Eiffel. You don't have to rewrite Eiffel code to make overloading work, > you just don't use polymorphism. You'd have to rewrite Ada code to go from > overloading to dynamic binding. This is a category error. Overloading is not the same sort of thing as dynamic binding. The counterpart that you want is static binding. A reasonable (though certainly not exact) counter part ot overloading in this context would be "covariance". Overloading affects what operation will be dynamically bound in an invocation, but it in no way affects _whether_ the invocation is dynamically bound. /Jon -- Jon Anthony Organon Motives, Inc. Belmont, MA 02178 617.484.3383 jsa@organon.com