|
output streams vs output ports
Taylor Campbell
(18 Jun 2005 00:26 UTC)
|
|
Re: output streams vs output ports
Michael Sperber
(18 Jun 2005 07:57 UTC)
|
|
Re: output streams vs output ports
Taylor Campbell
(18 Jun 2005 15:17 UTC)
|
|
Re: output streams vs output ports Michael Sperber (18 Jun 2005 18:51 UTC)
|
|
Re: output streams vs output ports
Shiro Kawai
(18 Jun 2005 21:06 UTC)
|
|
Re: output streams vs output ports
Michael Sperber
(19 Jun 2005 09:09 UTC)
|
|
Re: output streams vs output ports
Shiro Kawai
(19 Jun 2005 09:41 UTC)
|
|
Re: output streams vs output ports
Michael Sperber
(20 Jun 2005 05:41 UTC)
|
|
Re: output streams vs output ports
Shiro Kawai
(20 Jun 2005 09:16 UTC)
|
|
Re: output streams vs output ports
Michael Sperber
(21 Jun 2005 07:43 UTC)
|
|
Re: output streams vs output ports
Shiro Kawai
(21 Jun 2005 08:08 UTC)
|
|
Re: output streams vs output ports
Michael Sperber
(27 Jun 2005 05:45 UTC)
|
Re: output streams vs output ports Michael Sperber 18 Jun 2005 18:51 UTC
Taylor Campbell <xxxxxx@bloodandcoffee.net> writes: > 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? - It would be somewhat strange to have input *ports*, but output *streams*. - The cost is virtually nil. -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla