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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,75a8a3664688f227 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-01-13 10:08:03 PST Path: supernews.google.com!sn-xit-03!supernews.com!news-feed.riddles.org.uk!arclight.uoregon.edu!newsfeed.mathworks.com!news-out.cwix.com!newsfeed.cwix.com!sjc-peer.news.verio.net!news.verio.net!sjc-read.news.verio.net.POSTED!not-for-mail Newsgroups: comp.lang.ada From: Brian Rogoff Subject: Re: Parameter Modes, In In Out and Out In-Reply-To: <93npou$19h$1@nnrp1.deja.com> Message-ID: References: <7Cx56.90736$A06.3322588@news1.frmt1.sfba.home.com> <937jab$s23$1@nnrp1.deja.com> <3A57CD7F.2228BFD5@brighton.ac.uk> <938p3u$omv$1@nnrp1.deja.com> <93cagm$c1j$1@nnrp1.deja.com> <93e4e6$ucg$1@nnrp1.deja.com> <93encq$brm$1@nnrp1.deja.com> <93l945$s86$1@nnrp1.deja.com> <3A5E4DE3.C4D55B70@brighton.ac.uk> <93n2gk$amr$1@nnrp1.deja.com> <93npou$19h$1@nnrp1.deja.com> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Date: Sat, 13 Jan 2001 18:06:04 GMT NNTP-Posting-Host: 206.184.139.136 X-Complaints-To: abuse@verio.net X-Trace: sjc-read.news.verio.net 979409164 206.184.139.136 (Sat, 13 Jan 2001 18:06:04 GMT) NNTP-Posting-Date: Sat, 13 Jan 2001 18:06:04 GMT Organization: Verio Xref: supernews.google.com comp.lang.ada:3990 Date: 2001-01-13T18:06:04+00:00 List-Id: On Fri, 12 Jan 2001 mark_lundquist@my-deja.com wrote: > In article <93n2gk$amr$1@nnrp1.deja.com>, > Robert Dewar wrote: > > In article <3A5E4DE3.C4D55B70@brighton.ac.uk>, > > John English wrote: > > > > > Indeed. Java has to be rejected (no MI) > > > > It is interesting to note that there is a strong camp in the > > object oriented world that is very much opposed to MI, > > precisely on the grounds that it destroys the simple clean > > model of inheritance :-) > > There's also a faction that opposes Java's static strong typing. > > I believe the argument is in the context of dynamic distributed > computing, but I don't understand it well enough to summarize it. I think the argument is actually simple, and you can reduce it to considering the case of input/output. If you want to read "objects" stored in some persistent memory by some other program how do you statically determine their type? Well, the simple answer is, you don't, you use dynamic typing. Yes, I've dramatically oversimplified but that's it in a nutshell. Being an impurist, my response is that type safe object IO is probably a good example of where dynamic typing should be integrated into a statically typed language, but that static typing should be the default. -- Brian