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: Luke A. Guest <laguest@archeia.com>
Newsgroups: comp.lang.ada
Subject: Re: Why are Ada compilers difficult to write ?
Date: Thu, 28 Jun 2018 13:24:46 +0100
Organization: Aioe.org NNTP Server
Message-ID: <1757480223.551881290.008903.laguest-archeia.com@nntp.aioe.org>
References: <584564c2-9f64-4965-b045-535cdaf899c0@googlegroups.com>
 <2d617160-ac33-40e6-a06a-97cc0b53062d@googlegroups.com>
 <874lhsnvye.fsf@adaheads.home>
 <0a01e940-ec24-40b2-83f0-93157e379dc5@googlegroups.com>
 <pgri1c$kti$1@dont-email.me>
 <be19e728-9d48-48f8-9e98-ce71678cb22a@googlegroups.com>
NNTP-Posting-Host: vfTcQfEHqYTF8FsQ/ifaHQ.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: NewsTap/5.3.1 (iPhone/iPod Touch)
X-Notice: Filtered by postfilter v. 0.8.3
Cancel-Lock: sha1:xxGrlLzJ9SVM2RBnoYYBdyMpTcY=
Xref: reader02.eternal-september.org comp.lang.ada:53406
Date: 2018-06-28T13:24:46+01:00
List-Id: <comp.lang.ada>

Vincent <> wrote:

> 2. Shouldn't we create a new category of Owning Types instead of a new
> special case of access values ? And add a new operator like :
> X <- Y;

Yes, plus it makes it visually distinct so you know it’s an owned type.

Type A is access owned T;

Makes sense.

> 3. In fact shouldn't this idea of owning object be instatiated in Ada as
> limited types ? Wasn't the purpose of limited types to precisely forbid
> assignement so as to avoid aliasing of dynamically allocated objects ?
> Like tasks types for instance, or protected types...

But you can still grab an access to a limited type.