On Sat, 18 Jun 2005, Michael Sperber wrote:

> >                                                Is there a good reason
> > for having both output streams & output ports?  Was the distinction
> > perhaps a vestigial one from SML's I/O system (which I haven't
> > investigated thoroughly)?
>
> That, and the desire to keep the streams and ports layers separate.

But what benefit is achieved by having two identical (ignoring naming)
layers for output, even if the separation from input streams & input
ports is useful?