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,103b407e8b68350b X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-01-07 03:59:54 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!fu-berlin.de!uni-berlin.de!tar-alcarin.cbb-automation.DE!not-for-mail From: Dmitry A. Kazakov Newsgroups: comp.lang.ada Subject: Re: Anybody in US using ADA ? One silly idea.. Date: Tue, 07 Jan 2003 13:02:13 +0100 Message-ID: <56gl1v0uk3e0vsjf7norjl1cdsvj4qmmef@4ax.com> References: NNTP-Posting-Host: tar-alcarin.cbb-automation.de (212.79.194.111) Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: fu-berlin.de 1041940792 15641275 212.79.194.111 (16 [77047]) X-Newsreader: Forte Agent 1.8/32.548 Xref: archiver1.google.com comp.lang.ada:32661 Date: 2003-01-07T13:02:13+01:00 List-Id: On 06 Jan 2003 20:13:16 +0100, Pascal Obry wrote: >"Dmitry A. Kazakov" writes: > >> An abstract integer type with three non-abstract descendants is even more >> simple model. My point is that almost everything you do with generics could >> be done with ADT. > >I'm not sure what you have in mind, but ADT and generics are orthogonal >notion. In fact a lot of generic components are designed as ADT. The fact >that 'A' stand for abstract has nothing to do the "abstract" Ada keywords or >OO feature. I called it abstract in Ada sense, i.e. a type having no instances. Abstract integer type is thing with integer arithmetic operations defined on it. Whether it is a 64-bit machine integer or an array of characters is no matter. As for orthogonality, surely, generics are orthogonal [to everything]. --- Regards, Dmitry Kazakov www.dmitry-kazakov.de