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!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada Annoyances
Date: Thu, 29 Jun 2017 19:42:12 -0500
Organization: JSA Research & Innovation
Message-ID: <oj46p5$kou$1@franka.jacob-sparre.dk>
References: <1ac5a44b-4423-443a-a7bb-2864d9abe78f@googlegroups.com>
 <b3cdaa6d-6be7-48f4-9df8-f9557d0bf9b6@googlegroups.com>
 <1498048151.20885.28.camel@obry.net>
 <96174ea5-852d-44e9-8535-7c1eb24d5326@googlegroups.com>
 <oie5u1$ktk$1@gioia.aioe.org>
 <8d3aff06-82df-485f-89e5-a50c326aab05@googlegroups.com>
 <66aa262e-2ac9-4016-b32d-e9fee14779e1@googlegroups.com>
 <88e2f18a-0786-4303-a5b8-fe82e8c81dcb@googlegroups.com>
 <bb2dce33-54bd-426c-9029-f965fa007e3b@googlegroups.com>
 <oipj61$pdq$1@franka.jacob-sparre.dk>
 <71c4fdcd-4213-4b84-b852-c8674cfaf717@googlegroups.com>
 <oirv13$n3$1@franka.jacob-sparre.dk>
 <98197f40-9833-4bb8-87ca-1593d2da7c81@googlegroups.com>
 <oiufom$mbm$1@franka.jacob-sparre.dk> <oivou5$cfh$1@gioia.aioe.org>
 <oj14rd$3kp$1@franka.jacob-sparre.dk> <oj29fa$m41$1@gioia.aioe.org>
NNTP-Posting-Host: rrsoftware.com
X-Trace: franka.jacob-sparre.dk 1498783333 21278 24.196.82.226 (30 Jun 2017
 00:42:13 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 30 Jun 2017 00:42:13 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:47198
Date: 2017-06-29T19:42:12-05:00
List-Id: <comp.lang.ada>

>Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
>news:oj29fa$m41$1@gioia.aioe.org...
> On 28/06/2017 22:50, Randy Brukardt wrote:
>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
>> news:oivou5$cfh$1@gioia.aioe.org...
>>> On 27/06/2017 22:38, Randy Brukardt wrote:
>> ...
>>> You say that Ada's initialization model is tolerable because there 
>>> cannot
>>> be anything better. This is inconsistent with very notion of strong
>>> typing. If type safety cannot be supported we must say goodbye to strong
>>> types.
>>
>> OOP seems to me to be incompatible with strong typing.
>
> That depends on what you call OO. There is nothing new in OO except for 
> types representing classes of related types. Why should that be 
> incompatible with strong typing?

???  Both type extension and dynamic dispatching are unique to OOP. (You 
could emulate them with composition, but that doesn't do the same violence 
to strong typing.)

                              Randy.