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,b87849933931bc93 X-Google-Attributes: gidfac41,public X-Google-Thread: 114809,b87849933931bc93 X-Google-Attributes: gid114809,public X-Google-Thread: 1108a1,b87849933931bc93 X-Google-Attributes: gid1108a1,public X-Google-Thread: 103376,b87849933931bc93 X-Google-Attributes: gid103376,public From: enikitin@apk.net (Eric W. Nikitin) Subject: Re: Static vs. Dynamic typing again (was Re: OO, C++, and something much better!) Date: 1997/01/27 Message-ID: <5cid8b$ect@nerd.apk.net>#1/1 X-Deja-AN: 212523634 references: <32DF458F.4D5C@concentric.net> <32DF94DC.6FF8@watson.ibm.com> <32DFD972.37E4@concentric.net> <32E4FC5B.242C@watson.ibm.com> <32E6862D.608B@parcplace.com> <32E764D0.23D9@calfp.com> <32E7A686.56D@parcplace.com> <32E7BD57.2558@calfp.com> <32E7E08A.3079@parcplace.com> <32E8BCE3.3029@calfp.com> <01bc0a1e$faed8ce0$c318b993@jarvisb> <32E9256B.2130@calfp.com> followup-to: comp.lang.smalltalk,comp.lang.eiffel,comp.lang.ada,comp.object organization: Akademia Pana Kleksa, Public Access Uni* Site newsgroups: comp.lang.smalltalk,comp.lang.eiffel,comp.lang.ada,comp.object Date: 1997-01-27T00:00:00+00:00 List-Id: Richie Bielak (richieb@calfp.com) wrote: : But static type checking guarantees that the object, whatever its type, : *will* respond properly to the message we sent it. Of course provided : the object is there (i.e. we're not sending to 'nil'). [snip] : I believe that programming languages of the future must be : more dynamic than let's say Pascal. You can see an little of that : in Java. Strong static typing does not preclude dynamic dispatch of messages. The programming language Oberon demonstrates this to a certain degree, and a variant of Oberon - Lagoona - provides an even more flexible method of message delegation. (* I hope I'm not contributing to the "my language is better than your language" tone of this thread :) *) -- Eric --- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Those who know that they are profound strive for clarity. Those who would like to seem profound to the crowd strive for obscurity. He is a thinker; that means, he knows how to make things simpler than they are... - Friedrich Nietzsche ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~