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,e219d94b946dfc26
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!news.buerger.net!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: Jacob Sparre Andersen <sparre@nbi.dk>
Newsgroups: comp.lang.ada
Subject: Re: typed pipes
Date: Sat, 24 Feb 2007 14:37:02 +0100
Organization: Jacob's private Usenet server
Message-ID: <yge7iu7ekxt.fsf@hugsarin.dmusyd.edu>
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>
NNTP-Posting-Host: taasingegade.news.jacob-sparre.dk
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: jacob-sparre.dk 1172324223 20152 85.82.239.166 (24 Feb 2007 13:37:02
 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Sat, 24 Feb 2007 13:37:02 +0000 (UTC)
User-Agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux)
Cancel-Lock: sha1:pqGNZZZ+GI3MWylHDbJ5haO/cvE=
Xref: g2news2.google.com comp.lang.ada:9487
Date: 2007-02-24T14:37:02+01:00
List-Id: <comp.lang.ada>

Bj�rn Persson wrote:
> Jacob Sparre Andersen wrote:

>> Preferably also with typed pipes.
>
> How do you want typed pipes to work? 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?

I am not sure if I would want the system to _force_ both ends of the
pipe to agree, but I would definitely want the reading end to be
_informed_ of what the writing end is doing.

But doing the Unchecked_Conversion once the data are inside the
reading process is probably the correct solution.

This could probably not be done on the shell level, since pipes are an
operating system feature, and not just a shell feature.

Greetings,

Jacob
-- 
�When Roman engineers built a bridge, they had to stand under it while
 the first legion marched across. If programmers today worked under
 similar ground rules, they might well find themselves getting much more
 interested in Ada!�                                     -- Robert Dewar