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!news.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: A bad counterintuitive behaviour of Ada about OO Date: Fri, 08 Aug 2014 12:01:48 +0200 Organization: A noiseless patient Spider Message-ID: References: <932kntuq5rrr.8sumwibqrufn.dlg@40tude.net> <1ohy7vnbntskq$.h139ov04mlxu$.dlg@40tude.net> <17wt4z4suijym$.fibkp6sw5itz$.dlg@40tude.net> <1k6qcfme6203h.1jon846ebrywu$.dlg@40tude.net> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Injection-Date: Fri, 8 Aug 2014 10:01:51 +0000 (UTC) Injection-Info: mx05.eternal-september.org; posting-host="23dab0694e4174fdc880833ec67fa650"; logging-data="29215"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+zlOb1H6R83eu5k5qTUKaJ" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 In-Reply-To: <1k6qcfme6203h.1jon846ebrywu$.dlg@40tude.net> Cancel-Lock: sha1:cEn5/lDU/8GNqUhitYo7InT4UL4= X-Enigmail-Version: 1.6 Xref: news.eternal-september.org comp.lang.ada:21542 Date: 2014-08-08T12:01:48+02:00 List-Id: Le 08/08/2014 11:13, Dmitry A. Kazakov a écrit : > How mathematics may not apply to the elementary types like Integer? Because computer integers are not the same as mathematical ones, and the way they are used are different. Moreover, classification is used in mathematics for the theory of numbers, which is not relevant to practical usage of numbers. > Do you propose not to formalize "some features"? This is not how Ada > generics work anyway. "Some features" are formalized in Ada through formal > generic parameters. The only difference to classes is that classes do that > through types, while generics do in an untyped manner. And those types must be related through inheritance, while generics may be instantiated on types that have no conceptual relationship. Of course, at implementation level it boils down to managing pointers to subprograms, but conceptually, it is quite different. -- 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