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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,29d8139471e3f53e
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder.news-service.com!news.netcologne.de!newsfeed-fusi2.netcologne.de!newsfeed.straub-nv.de!noris.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Tue, 21 Sep 2010 19:11:33 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US;
 rv:1.9.2.9) Gecko/20100915 Thunderbird/3.1.4
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Preventing type extensions
References: <87iq2bfenl.fsf@mid.deneb.enyo.de>
 <874odv9npv.fsf@ludovic-brenta.org> <87y6b7cedd.fsf@mid.deneb.enyo.de>
 <66a3704c-54f9-4f04-8860-aa12f516134b@t3g2000vbb.googlegroups.com>
 <87d3sib44t.fsf@mid.deneb.enyo.de>
 <134q4k2ly2pf4$.17nlv1q6q5ivo.dlg@40tude.net>
 <4c8dec8e$0$6990$9b4e6d93@newsspool4.arcor-online.net>
 <epkb3s8dfxk0$.1qdvo5vg2fsgh.dlg@40tude.net>
 <8f6cceFrv2U1@mid.individual.net>
 <135a7dc9-3943-45e4-884b-3cc6bce3db0a@q18g2000vbm.googlegroups.com>
 <i6m45c$gjp$2@news.eternal-september.org>
 <c75a88c5-1d51-4342-904a-743e41adeb7f@k9g2000vbo.googlegroups.com>
 <10rutrnp4yp1b$.vxcbtginicg9.dlg@40tude.net>
 <bbdfa7ff-88f8-43ab-87b6-96fff973e325@a11g2000vbn.googlegroups.com>
 <1rwwxbzfj78eh.6l7isp9fciba$.dlg@40tude.net>
In-Reply-To: <1rwwxbzfj78eh.6l7isp9fciba$.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID: <4c98e745$0$7667$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 21 Sep 2010 19:11:33 CEST
NNTP-Posting-Host: a8e64439.newsspool1.arcor-online.net
X-Trace: 
 DXC=>]jJfAGMeWIE4ZB2flKORAic==]BZ:afN4Fo<]lROoRA<`=YMgDjhgB^ho\<72OWSOnc\616M64>JLh>_cHTX3jMMTE?o4fXA0D
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:14177
Date: 2010-09-21T19:11:33+02:00
List-Id: <comp.lang.ada>

On 21.09.10 18:25, Dmitry A. Kazakov wrote:

> MD is restricted to diagonal multi-methods, e.g:
> 
>    type T is tagged ...;
>    procedure MD_operation (X, Y : T);
> 
>>>> A horse is an animal...
>>>
>>> But animal is not necessary a horse.
>>
>> right. so?
> 
> horse /= animal

It will help immensely, I think, at least those of us who do
not do type theory on an every day basis, if we had a glossary
of terms for interpreting expression like "horse /= animal".
(And maybe add qualifying syntax for clarity.) The expression
will then consist of names and symbols that can be understood
to mean:

- this in the general context, and

- that in the context of Ada,

- something at all.

Perhaps some definitions and corollaries, too, like the ones
you have given for "restricted multiple dispatch" where it
exists?

Do you happen to have some notes lying around, maybe, that
could be c&p-ed here, for starters?


Georg