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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!mx05.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: Is this expected behavior or not Date: Fri, 12 Apr 2013 06:39:24 +0200 Organization: A noiseless patient Spider Message-ID: References: <1gnmajx2fdjju.1bo28xwmzt1nr.dlg@40tude.net> <3gv2jwc95otm.pl2aahsh9ox8.dlg@40tude.net> <1gkxiwepaxvtt$.u3ly33rbwthf.dlg@40tude.net> <1fmcdkj58brky.bjedt0pr39cd$.dlg@40tude.net> <1bj564vat3q1j$.1s4d00rlzx4ux$.dlg@40tude.net> <8bj2k30k7i19.w7ehsldwbf7x.dlg@40tude.net> <1o34nhpfuy6yl$.2orlukd1elr7.dlg@40tude.net> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Injection-Date: Fri, 12 Apr 2013 04:36:39 +0000 (UTC) Injection-Info: mx05.eternal-september.org; posting-host="2b3884a634d8f846e0712b4e3a92507a"; logging-data="18812"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/d9JH5i1gPs7VeAAH0lN4g" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/20130328 Thunderbird/17.0.5 In-Reply-To: Cancel-Lock: sha1:ZgZOe3nwC2D/Ea0ZYusYSQFYUTc= X-Enigmail-Version: 1.5.1 Xref: news.eternal-september.org comp.lang.ada:14963 Date: 2013-04-12T06:39:24+02:00 List-Id: Le 11/04/2013 17:07, Dmitry A. Kazakov a écrit : >> The problem is not in the language. It is a wrong modelling, since a >> > complex is not a specialisation of a real. > Type extension is not specialization either. > > Specialization in Ada is more or less covered by subtypes. [Type extension > is Cartesian product.] Well, every proponent of OO will claim that inheritance is about specialization. It seems to me that what you call Cartesian product is rather about composition. And subtypes have nothing to do specialization, at least as defined in conventional OO. -- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00 http://www.adalog.fr