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: 103376,e219d94b946dfc26
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!newsfeed.freenet.de!217.188.199.168.MISMATCH!takemy.news.telefonica.de!telefonica.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: typed pipes
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <45dcaed8_6@news.bluewin.ch>
 <C2026327.9876A%yaldnif.w@blueyonder.co.uk>
 <1172132169.423514.271890@s48g2000cws.googlegroups.com>
 <n7ujre.f7n.ln@hunter.axlog.fr> <wcc1wkhlln0.fsf@shell01.TheWorld.com>
 <ygek5y9kyyz.fsf@hugsarin.dmusyd.edu> <_nMDh.34647$E02.13753@newsb.telia.net>
Date: Sat, 24 Feb 2007 09:16:53 +0100
Message-ID: <s3p3peh7ztf7$.q1b15e65fjio.dlg@40tude.net>
NNTP-Posting-Date: 24 Feb 2007 09:16:37 CET
NNTP-Posting-Host: 4939e6af.newsspool1.arcor-online.net
X-Trace: 
 DXC=AXkZ@6GNYU@j7E:bke<5HFic==]BZ:afN4Fo<]lROoRAFl8W>\BH3YBZTPRh_I2OlJDNcfSJ;bb[EIRnRBaCd<MNhe5;QdT8BMA4LAm2jE=T9I
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:9478
Date: 2007-02-24T09:16:37+01:00
List-Id: <comp.lang.ada>

On Sat, 24 Feb 2007 01:18:50 GMT, Bj�rn Persson wrote:

> Jacob Sparre Andersen wrote:
> 
>> But who feels like creating a
>> better shell?  Preferably also with typed pipes.
> 
> How do you want typed pipes to work?

I don't know what Jacob meant, but a typed pipe in Ada terms would be a
protected object. The type of the object identifies which
functions/procedures/entries it has and the types of the parameters of.

> Do you mean that if the writing program
> treats its standard output stream as a file of records, where each record
> contains two signed 16-bit integers and an array of five booleans, then the
> shell should force the reading program to treat its standard input stream
> the same way?

No the shell should check if both participants use the pipe of the same
type [or same class, OK, Ada does not have classes of protected types, but
it obviously should]. When types are same the shell creates the pipe,
spawns both processes and passes the pipe to them.

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