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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,dbcfe2b0a74da57e X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!news.glorb.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Inherited Methods and such Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <1190039166.449906.15070@g4g2000hsf.googlegroups.com> <1190041908.492024.263110@19g2000hsx.googlegroups.com> <1190060534.958182.51800@d55g2000hsg.googlegroups.com> <87tzptuhku.fsf@ludovic-brenta.org> <1190125656.071013.303640@22g2000hsm.googlegroups.com> <1ds7l1l7oeyrx.1cpsvrpkikour.dlg@40tude.net> <87k5qnvn4q.fsf@ludovic-brenta.org> Date: Tue, 18 Sep 2007 21:29:28 +0200 Message-ID: NNTP-Posting-Date: 18 Sep 2007 21:28:26 CEST NNTP-Posting-Host: c999f18b.newsspool3.arcor-online.net X-Trace: DXC=BWd`dRO`WN\I?44J>Z[:RQMcF=Q^Z^V3X4Fo<]lROoRQ^;5]aA^R6>RkEV?< On Tue, 18 Sep 2007 20:34:13 +0200, Ludovic Brenta wrote: > Dmitry A. Kazakov writes: >>> On 17 Wrz, 23:07, Ludovic Brenta wrote: >>> >>>> No, I meant C++ does not have a notation for Ada's concept of a class. >> >> Neither Ada has (I mean a "notation of concept" (:-)). But T& is >> close to T'Class, and IMO the concept of a class as a set of types >> [obtained upon inheritance] and a type to represent that set is same >> in both languages. Ada separates the set and its representative, >> C++ does not. > > I'm not following you. Do you mean to say that T'Class is not a > notation for Ada's concept of a class? Yes. IMO, concepts do not have notations, maybe in category theory, but not in a programming language [*]. In Ada T'Class *denotes* a concrete type. It does not denote the concepts of type, of class, of computing, of late binding etc. In a concrete program T'Class may express a concept in the application domain space. The latter an OOA theologian would call "class." (Did you mean this?) They argue that there exists some inherent objective relation between dogs (canis lupus familiaris), the word "dog," and Dog'Class. That IMO is beyond the language Ada, and is a purely religious concept. (Sorry for a pun (:-)) -------------------------------- * Maybe, in Prolog, in some very narrow and specific sense. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de