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: 103376,80a67c84f8039eab X-Google-Attributes: gid103376,public From: stt@houdini.camb.inmet.com (Tucker Taft) Subject: Re: Some questions on a library design Date: 1997/06/23 Message-ID: #1/1 X-Deja-AN: 252057924 Sender: news@inmet.camb.inmet.com (USENET news) X-Nntp-Posting-Host: houdini.camb.inmet.com References: <01bc7c41$a3f397a0$LocalHost@xhv46.dial.pipex.com> Organization: Intermetrics, Inc. Newsgroups: comp.lang.ada Date: 1997-06-23T00:00:00+00:00 List-Id: Nick Roberts (Nick.Roberts@dial.pipex.com) wrote: : Robert A Duff wrote in article : ... : [...] : > One nice thing about Ada, is that you can choose to use dispatching or : > not, on a call-by-call basis. : In theory, but not often in practice. Actually, most calls in Ada 95 end up being statically bound, whereas in most other OOP languages, many more calls end up being dynamically bound, even though there is no good reason for it (and oftentimes a statically bound call would make more sense semantically as well). : ... And in no case is the inefficiency of : the extra tag removed, The extra tag imposes a small space expense, but essentially no time overhead. You do still have the option of creating untagged records in Ada 95, something not available in Java or Smalltalk. : ... nor of the dynamic tag checking (and sometimes : dynamic access checking). There are various "tag check"s in Ada, but none of them are performed on a statically bound call. An "access check" checks for null pointers, something quite different from a "tag check." There is also something called an "accessibility check" which is to prevent the creation of potentially dangling references. You might want to check your facts a bit... : Nick. -- -Tucker Taft stt@inmet.com http://www.inmet.com/~stt/ Intermetrics, Inc. Burlington, MA USA