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
X-Google-Thread: a07f3367d7,39579ad87542da0e
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
X-Received: by 10.180.210.161 with SMTP id mv1mr1637698wic.1.1368583195705;
        Tue, 14 May 2013 18:59:55 -0700 (PDT)
Path: 
 p18ni110061wiv.0!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!193.141.40.65.MISMATCH!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!border2.nntp.ams2.giganews.com!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!newsfeed.news.ucla.edu!nrc-news.nrc.ca!News.Dal.Ca!news.litech.org!news.stack.nl!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Seeking for papers about tagged types vs access to subprograms
Date: Wed, 8 May 2013 12:23:06 +0200
Organization: cbb software GmbH
Message-ID: <cps71yzogw24$.7ol98fxcaurj$.dlg@40tude.net>
References: <op.wv8jh1c1ule2fv@cardamome> <op.wwbvqzkeule2fv@cardamome>
 <op.wwnp2zkrule2fv@cardamome> <u3jaslg5kca7.1gk5ds3d4sx2y$.dlg@40tude.net>
 <op.wwnsmtteule2fv@cardamome> <17ceq51ydy3s0.s94miqqzbg5w.dlg@40tude.net>
 <op.wwny5jerule2fv@cardamome> <1vrhb7oc4qbob$.q02vuouyovp5$.dlg@40tude.net>
 <op.wwn4oak8ule2fv@cardamome> <19lrzzbgm77v6.1dzpgqckptaj6.dlg@40tude.net>
 <kmbohm$elb$1@loke.gir.dk> <p0pf97g5w6xg.jhca6ztjwpde$.dlg@40tude.net>
 <op.wwq9s4l6ule2fv@cardamome> <1bfhq7jo34xpi.p8n2vq6yjsea.dlg@40tude.net>
 <op.wwrefx1pule2fv@cardamome>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Date: 2013-05-08T12:23:06+02:00
List-Id: <comp.lang.ada>

On Wed, 08 May 2013 11:39:23 +0200, Yannick Duch�ne (Hibou57) wrote:

> But then, an example such as the above would present challenge with  
> derived types.

That is the main question about parallel hierarchies: if you derive or
constrain one type in the cloud, what happens with other types? Does this
produce new types, related or unrelated, constrained or not. The typical
case is slice, you constrain index and get a constrained subtype of the
array. But if you constrain the multi-dimensional index of a matrix by
fixing one component of you get a new type: submatrix. You need a formalism
describing propagation of constrants, conditions, parent-child
relationships across the cloud of types.
 
-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de