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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,e94a7e4f6f888766
X-Google-Attributes: gid103376,public
From: "Matthew Heaney" <matthew_heaney@acm.org>
Subject: Re: Self-referential types
Date: 1999/10/12
Message-ID: <3803bef1_4@news1.prserv.net>#1/1
X-Deja-AN: 536011926
Content-transfer-encoding: 7bit
References: <7ttb4a$8mq$1@nnrp1.deja.com> <s04ql7cqh1s45@corp.supernews.com>
 <3802f2db_2@news1.prserv.net> <7tvjav$se6$1@nnrp1.deja.com>
Content-Type: text/plain; charset="US-ASCII"
X-Complaints-To: abuse@prserv.net
X-Trace: 12 Oct 1999 23:06:25 GMT, 129.37.62.159
Organization: Global Network Services - Remote Access Mail & News Services
Mime-version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-10-12T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <7tvjav$se6$1@nnrp1.deja.com> , Ted Dennison 
<dennison@telepath.com>  wrote:

>> This is the basis for programming with access discriminants, which is
>> how you do MI in Ada95.
>
> Is there somewhere I can go to see an example of this kind of MI? The
> Rationale says pretty much the same thing, but Cohen's tome doesn't go
> over it at all.

You can read my posts in the Ada95 design patterns archive.  The
observer and mediator patterns feature the access discriminant
technique.  (Last month (sep 99) I did a whole series on observer
variations.)

<http://www.acm.org/archives/patterns.html>

Let me know if you have trouble finding or understanding the material.

I also recently wrote Indexed_IO (B tree) and Indexed_Sequential_IO (B+
tree) packages.  The File_Type is implemented using the Rosen Trick,
which uses self-reference to get a variable view of an otherwise
constant object.

<http://www.adapower.com/reuse/indexed_io.html>

Matt

--
If we let the Creationists have their way, we may as well go whole hog.
Let us reintroduce the flat-earth theory, the chemistry of the four
elements, and mediaeval astrology.  For these outworn doctrines have
just as much claim to rival current scientific views as Creationism does
to challenge evolutionary biology.

Abusing Science: The Case Against Creationism
Philip Kitcher