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!news3.google.com!feeder3.cambrium.nl!feeder1.cambrium.nl!feed.tweaknews.nl!62.216.30.27.MISMATCH!newsgate.cistron.nl!xs4all!news.tele.dk!news.tele.dk!small.news.tele.dk!lnewsinpeer00.lnd.ops.eu.uu.net!bnewsinpeer00.bru.ops.eu.uu.net!emea.uu.net!newsfeed.arcor.de!newsspool4.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> <87k5qnu5jy.fsf@ludovic-brenta.org> Date: Tue, 18 Sep 2007 22:49:47 +0200 Message-ID: NNTP-Posting-Date: 18 Sep 2007 22:48:44 CEST NNTP-Posting-Host: 7874abe3.newsspool1.arcor-online.net X-Trace: DXC=9UF]Y:]7]?1_A0jCfgHO6>ic==]BZ:af>4Fo<]lROoR14nDHegD_]R5_nbF9:MZfm7DNcfSJ;bb[5IRnRBaCdQi:JYQSlZI>LjCMAhR8^l8 X-Complaints-To: usenet-abuse@arcor.de Xref: g2news2.google.com comp.lang.ada:2024 Date: 2007-09-18T22:48:44+02:00 List-Id: On Tue, 18 Sep 2007 21:39:13 +0200, Ludovic Brenta wrote: > Call me religious all you want. I thing your reasoning is wrong. In > human languages there are words to denote concepts, Natural languages are non-formal. > and I think > T'Class denotes the concept of "the tagged type T or any type derived > therefrom", i.e. the Ada concept of a class. Is there a difference between a type and a concept of? BTW, class as an OOP concept is not "the tagged type T or any type derived therefrom," because T is irrelevant in the concept of class. But our T'Class refers to a *concrete* class rooted in nothing, but T. You cannot say that 12 is a concept of number. At most, a Platonist could argue that 12 denotes a concept of twelveness, and that "concept" denotes "conceptness," while "conceptness" denotes, ...? (:-)) > T'Class is not a specific type, it is a class-wide type. Yet it is a type, and T'Class denotes nothing but that type. So: X : T'Class := ... declares a variable X of a type, not of a concept. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de