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,FREEMAIL_FROM,
	INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,fded8d14c74b14e5
X-Google-Attributes: gid103376,public
From: "Vladimir Olensky" <vladimir_olensky@yahoo.com>
Subject: Re: Looking for Ada Technique Name and References
Date: 2000/02/22
Message-ID: <sb4fq3e0r2a74@corp.supernews.com>#1/1
X-Deja-AN: 588298633
References: <88kegp$iso$1@coward.ks.cc.utah.edu>
 <88kh6q$j4j$1@coward.ks.cc.utah.edu> <88s90i$8mi$1@ns3.arlut.utexas.edu>
 <88svc0$nkj$1@coward.ks.cc.utah.edu>
Organization: Posted via Supernews, http://www.supernews.com
X-Mimeole: Produced By Microsoft MimeOLE V4.72.3110.3
Newsgroups: comp.lang.ada
X-Complaints-To: newsabuse@supernews.com
Date: 2000-02-22T00:00:00+00:00
List-Id: <comp.lang.ada>

 John Halleck <nahaj@u.cc.utah.edu> wrote in message
 news:88kh6q$j4j$1@coward.ks.cc.utah.edu...
 > > John Halleck (nahaj@u.cc.utah.edu) wrote:
 > > : I would appreciate it if someone could give me the name and a
 > > : print reference for the following technique.
 >
 >> Someone Replied:
 >>  It is called overloading.
 >

 >   It uses overloading, but that was not the technique I was trying

 >   to get accross.
 >
 >   The technique in question is turning the what is normally written
 >   as two function calls  (More or less:)
 >       "*" (Transpose (A), B)
 >   into a type mark and a single function call to a special function

>   that can handle it all more effeciently.


As a matter of fact the answer is contained in your original question.

Actually this is combination of two basic techniques and as such I do
not think that it has or should have any special name.  There would be
just not enough names to cover all possible combination of language
basic techniques.

In this case it is combination of object type marking (or view conversion
or type cast  - there are several terns for that )  with procedure
overloading.
Such view  conversion  in  some other systems  called simply as
"object logical view "  and this object is treated differently depending on
it's  current  logical view.

You have an matrix object and you mark it as transpose so that language
can choose appropriate  procedure  to handle matrix object  according
to it's  current view (or mark) .

In real life many things are done the same way but this happens without
paying special attention to that.


Regards,
Vladimir Olensky