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,da85d9aaf769b16a
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!newsfeed.straub-nv.de!noris.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Generic package parameters not externally visible : what's the
  rational ?
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <d31a3f23-975d-4ae7-954a-82055b50f172@31g2000vbf.googlegroups.com>
 <wcciqe26w5q.fsf@shell01.TheWorld.com> <hc7nfq$6o7$1@munin.nbi.dk>
 <10eygvuzeit9g.xwy2wanxoxgf$.dlg@40tude.net> <hca5gv$kvg$1@munin.nbi.dk>
 <1kf8mo4r9lqxg.1tdhqe6femt9m.dlg@40tude.net> <uljit6uwe.fsf@stephe-leake.org>
 <1r8etjwa9k46n.3pyj04jn686o$.dlg@40tude.net> <uy6mr4tst.fsf@stephe-leake.org>
Date: Sun, 1 Nov 2009 12:37:39 +0100
Message-ID: <15ldsfxnhzdnr$.101vwe8nt6l4k$.dlg@40tude.net>
NNTP-Posting-Date: 01 Nov 2009 12:37:39 CET
NNTP-Posting-Host: 2cafba15.newsspool1.arcor-online.net
X-Trace: 
 DXC=_IVToDbNFjnIkjb;<8iR=aic==]BZ:afn4Fo<]lROoRa<`=YMgDjhgb^WGQCe:M8Xk[6LHn;2LCVn[<mhadbfdUk]I[UelR\<EnJBIHhaVM`nb
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:8933
Date: 2009-11-01T12:37:39+01:00
List-Id: <comp.lang.ada>

On Sat, 31 Oct 2009 08:44:18 -0400, Stephen Leake wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>
>> Non-trivial it becomes when you have several such axes.
> 
> Yes. For example, Unbounded_Arrays have Index_Type and Item_Type.

Now consider I/O packages for Item_Type and Index_Type, and a package for
Unbounded_Array I/O that uses all these three. At some point the structure
of dependencies becomes a DAG.

>> Here is an example of a mesh of generic packages with 4 axes:
>>
>>    http://www.dmitry-kazakov.de/ada/fuzzy.htm#8
>>
>> Note that semantically the example is quite simple, almost evident. Its
>> implementation and use is horrific. I would never consider it "fixed".
> 
> Sorry, I don't see the complexity; what are the four axes?

Base number, enumeration of truth values, arrays of, map to the truth
value. These are initial parameters which group themselves in different
combinations to produce new types in generic instances of the second
generation of packages. These are selected in new combinations in the third
generation and so on.

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