Re: typed pipes

[Jacob Sparre Andersen <sparre@nbi.dk>]

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