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: 
 buffer2.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!1.eu.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!newsfeed.straub-nv.de!proxad.net!feeder1-2.proxad.net!usenet-fr.net!gegeweb.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Build language with weak typing,
 then add scaffolding later to strengthen it?
Date: Tue, 26 May 2015 16:21:33 +0200
Organization: cbb software GmbH
Message-ID: <xxasfl3vuo1z.1b7q77s7tw3tz$.dlg@40tude.net>
References: <mjlale$dpk$1@speranza.aioe.org>
 <127b004d-2163-477b-9209-49d30d2da5e1@googlegroups.com>
 <mjn90s$9av$1@dont-email.me>
 <f89a678a-f4a3-4a1c-91d7-d465177bbb1d@googlegroups.com>
 <mjnieh$ejn$1@dont-email.me>
 <ad8483c7-8f3c-4469-9079-a97ca3abaf27@googlegroups.com>
 <mjnpkt$b6j$1@dont-email.me>
 <59a4ee45-23fb-4b0e-905c-cc16ce46b5f6@googlegroups.com>
 <mjo0mk$7qu$1@dont-email.me>
 <46b2dce1-2a1c-455d-b041-3a9d217e2c3f@googlegroups.com>
 <mjpsdi$6cq$1@dont-email.me>
 <ac78c8c6-de94-4f92-afcb-c1ae78523245@googlegroups.com>
 <3277d769-6503-4c7f-885f-3a730762b620@googlegroups.com>
 <mjvv2l$8rk$1@speranza.aioe.org> <mjvv7h$8rk$2@speranza.aioe.org>
 <alpine.CYG.2.11.1505251859520.3512@WIL414CHAPIN.vtc.vsc.edu>
 <mk1992$kbg$1@dont-email.me> <mk1c19$u09$1@dont-email.me>
 <mk1pcv$i3j$1@dont-email.me> <mk1svk$10h$1@dont-email.me>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: enOx0b+nfqkc2k+TNpOejg.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Xref: number.nntp.giganews.com comp.lang.ada:193317
Date: 2015-05-26T16:21:33+02:00
List-Id: <comp.lang.ada>

On Tue, 26 May 2015 15:39:06 +0200, J-P. Rosen wrote:

> You want user defined integer
> types, and no magic for IOs? Then you'll need packages

Yes, but unrelated to user-defined types. Packages are for modularity and
separate compilation. Wirth's languages are notably weak in that respect.

> and generics.

No. Classes can be obtained without generics. It is static vs. dynamic
polymorphism.

> Safe IOs also require exceptions. And you certainly want aggregates,
> because they are sooo convenient.

Aggregates could be primitive subprograms. The syntax sugar of aggregates
could be made open for user definitions.

> The only things that could be detached are tasking and OOP.

None of them could, and Ada's unsuccessful attempts perfectly illustrate
that.

> Of course
> not having the latter would be highly politically incorrect,

It has nothing to do with PC in any sense. If the language should support
generic programming, there is no alternative to run-time classes. Generics
are not a substitute because they do not prove named typed class-wide
objects. They are simply untyped.

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