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!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Ada Annoyances
Date: Thu, 29 Jun 2017 09:15:54 +0200
Organization: Aioe.org NNTP Server
Message-ID: <oj29fa$m41$1@gioia.aioe.org>
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>
NNTP-Posting-Host: vZYCW951TbFitc4GdEwQJg.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.2.1
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:47167
Date: 2017-06-29T09:15:54+02:00
List-Id: <comp.lang.ada>

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?

Then objects require initialization regardless presence of class types. 
Even if you remove inheritance there still be aggregation. How do I 
initialize an aggregate object?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de