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 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: A bad counterintuitive behaviour of Ada about OO Date: Thu, 7 Aug 2014 11:40:50 +0200 Organization: cbb software GmbH Message-ID: References: <932kntuq5rrr.8sumwibqrufn.dlg@40tude.net> <1ohy7vnbntskq$.h139ov04mlxu$.dlg@40tude.net> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: ot/DC7n2aCvt5pcTM4dZCw.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:21509 Date: 2014-08-07T11:40:50+02:00 List-Id: On Thu, 07 Aug 2014 10:58:20 +0200, J-P. Rosen wrote: > Le 07/08/2014 09:41, Maciej Sobczak a écrit : >> No way. :-D With type/interface schizophrenia, lack of MI, controlled >> as a base class, unsafe (!!!) handling of dispatch during >> initialization/finalization and no support for type covariance on >> return type Ada is way more broken than other languages I am aware >> of. I mean - in its handling of OO it's almost as broken as Java. >> >> No trolling here - I really consider the above issues to be problems. >> OO in Ada definitely looks like a patchwork, not a consistent >> language feature. > > Rather say that there are two kinds of OO programming languages: those > that consider OOP as one tool among others, to be used when (and only > when) appropriate, and the "pure" OO languages where OOP is the only way > to do everything. Ada clearly belongs to the first category. You are conflating OOA/D (SW design technique) with the features of the language type system. You may not use OOA/D, I don't. But there is no slightest doubt that the type system must have the features described above. > Of course, there are similarly two kinds of programmers. You belong to > the second category (no bad feelings intended), but some of us belong to > the first one. Let's take another example, formal correctness proofs. Very few programmers will ever use them at full. Yet, there is no doubt that Ada must support proofs at all levels - type invariants, subprogram's pre-/post-conditions, pre-/post-conditions and loop invariants within the control flow. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de