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!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: Ada Successor Language
Date: Mon, 25 Jun 2018 16:44:25 +0200
Organization: Adalog
Message-ID: <pgqv45$k7b$1@gioia.aioe.org>
References: <5e86db65-84b9-4b5b-9aea-427a658b5ae7@googlegroups.com>
 <878t7u1cfm.fsf@nightsong.com>
 <c22391d4-94b6-4ed3-96c0-1e9a84c4a99c@googlegroups.com>
 <b1141508-e692-46f6-b536-4a72081dfb45@googlegroups.com>
 <foqeocF7l4fU1@mid.individual.net> <pg949k$jmv$1@dont-email.me>
 <foqjvhF8kskU1@mid.individual.net>
 <776f3645-ed0c-4118-9b4d-21660e3bba4b@googlegroups.com>
 <pg9bd9$eo9$1@gioia.aioe.org> <87602fbu2g.fsf@nightsong.com>
 <pgad3n$1sop$1@gioia.aioe.org> <87po0mziqt.fsf@nightsong.com>
 <pgbm5e$c1l$1@gioia.aioe.org> <87fu1izfgs.fsf@nightsong.com>
 <pgd1hq$ca2$1@gioia.aioe.org> <878t75nwad.fsf@adaheads.home>
 <pgqas8$mjm$1@dont-email.me> <pgqnt3$6rv$1@gioia.aioe.org>
 <fpcb15Fk3saU1@mid.individual.net> <pgqtq4$hon$1@gioia.aioe.org>
NNTP-Posting-Host: vtydEJu0RziDZHka7ZZ6bg.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.8.0
X-Notice: Filtered by postfilter v. 0.8.3
Openpgp: preference=signencrypt
Content-Language: fr
Xref: reader02.eternal-september.org comp.lang.ada:53302
Date: 2018-06-25T16:44:25+02:00
List-Id: <comp.lang.ada>

Le 25/06/2018 à 16:21, Dmitry A. Kazakov a écrit :
> Ada could allow T'Class for untagged T. T'Class would be an indefinite
> type with values consisting of the actual type's tag and its value. When
> T is by-value type, you pass T'Class to a subprogram as tag + value.
> When T is by-reference type, you pass tag + reference.
> 
> Upon dispatch, you strip the tag from the value or reference before
> passing value/reference down.

It was a requirement of Ada95 that OOP be strictly contained, and that
the same typing system as Ada83 be kept for those who don't want OOP.

You are free to choose the programming paradigm that you like, but don't
think that everybody works your way.

-- 
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