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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c9629eba26884d78
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-08-05 06:34:10 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!nycmny1-snh1.gtei.net!washdc3-snh1.gtei.net!news.gtei.net!ngpeer.news.aol.com!newsfeed1!bredband!uio.no!newsfeed.vmunix.org!newsfeed.hanau.net!news-fra1.dfn.de!news-ham1.dfn.de!news.uni-hamburg.de!cs.tu-berlin.de!uni-duisburg.de!not-for-mail
From: Georg Bauhaus <sb463ba@d2-hrz.uni-duisburg.de>
Newsgroups: comp.lang.ada
Subject: Re: XML DOM Binding for Ada 95 - matter of style
Date: Tue, 5 Aug 2003 13:34:09 +0000 (UTC)
Organization: GMUGHDU
Message-ID: <bgoboh$pae$1@a1-hrz.uni-duisburg.de>
References: <3f27bab4$1@baen1673807.greenlnk.net>
 <bg8noh$22ti$1@ulysses.news.tiscali.de> <uk7a0gejp.fsf@nasa.gov>
 <3F28F61D.4050504@noplace.com>
 <slrnbihv85.4jd.randhol+abuse@kiuk0152.chembio.ntnu.no>
 <3F2A5303.6080902@noplace.com>
 <apGWa.1581$jp.254@newsread4.news.pas.earthlink.net>
 <3F2BA9C8.9030700@noplace.com>
 <SXaXa.5251$jg7.4768@newsread3.news.pas.earthlink.net>
 <ti3sivgstvvmh3j7399j0prvlifsm8j5it@4ax.com>
 <bgno68$lpd$1@a1-hrz.uni-duisburg.de>
 <qp5viv8jdbasoc2s83hrrv0f4mtfvp0mnn@4ax.com>
NNTP-Posting-Host: d2-hrz.uni-duisburg.de
X-Trace: a1-hrz.uni-duisburg.de 1060090449 25934 134.91.1.15 (5 Aug 2003
 13:34:09 GMT)
X-Complaints-To: usenet@news.uni-duisburg.de
NNTP-Posting-Date: Tue, 5 Aug 2003 13:34:09 +0000 (UTC)
User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00
 (9000/831))
Xref: archiver1.google.com comp.lang.ada:41204
Date: 2003-08-05T13:34:09+00:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
: Isn't signature just another word for interface? Does not a set of
: subroutines with compatible signatures constitute an interface for
: some abstract/real type? One could long for a better way to describe
: and manage interfaces, but there is no real alternative to them.

You don't need to know about them during the design process,
but you can construct "signature instances" like so:

generic
  type X is private;
  function count(thing: X) return Natural;
  procedure stretch(thing: in out X);
...

and then instantiate "..." with whatever actuals seem fit.
This doesn't require that the provider of the units from which
X, count, etc. are taken, has to know beforehand that his/her types,
functions, or whatever will be used this way.

Actually, you can pass operations of a tagged type as actuals.
Can this be done with virtual member functions in C++?


Georg