Last call Takashi Kato (30 Jun 2013 07:00 UTC)
Re: Last call Per Bothner (30 Jun 2013 07:46 UTC)
Re: Last call Takashi Kato (30 Jun 2013 08:35 UTC)
Re: Last call Per Bothner (30 Jun 2013 15:47 UTC)
Re: Last call Takashi Kato (30 Jun 2013 17:01 UTC)
Re: Last call Per Bothner (30 Jun 2013 17:19 UTC)
Re: Last call Takashi Kato (30 Jun 2013 17:47 UTC)
Re: Last call Per Bothner (30 Jun 2013 18:04 UTC)
Re: Last call Takashi Kato (30 Jun 2013 18:29 UTC)
Re: Last call Per Bothner (30 Jun 2013 23:11 UTC)
Re: Last call John Cowan (01 Jul 2013 20:01 UTC)
Re: Last call Shiro Kawai (30 Jun 2013 09:02 UTC)
Re: Last call Takashi Kato (30 Jun 2013 09:30 UTC)
Re: Last call Shiro Kawai (30 Jun 2013 09:54 UTC)
Re: Last call Takashi Kato (30 Jun 2013 10:27 UTC)
Re: Last call Shiro Kawai (30 Jun 2013 11:44 UTC)
Re: Last call Takashi Kato (30 Jun 2013 17:02 UTC)

Re: Last call Takashi Kato 30 Jun 2013 17:46 UTC

On 30/06/2013 19:19, Per Bothner wrote:
 > No, the issue is not Java, but what a "port" conceptually is
 > (or should be): A "port" is a sequence of values, along with a current
 > position in that sequence.  An "input/output port" is not a sequence -
 > it is two sequences, along with two positions.
Probably (or most definitely) I have different opinion about this so I
simply don't understand the point. Here is my understanding and
objection break down;

  * If a "port" is a sequence, then it can be represented by a list (say
list-port)
  * "list-port" has a position.
  * When reader reads from "list-port", then the position will be increased.
  * Then writer writes (in this case appends) to "list-port", it writes
after the above position.
  * Position change operation changes the position.

In R6RS, if you want to get the last position of port without using
implementation dependent procedures, you need to read everything first
then call 'port-position' whichever port type is. Hence the port has
only one position. (I think this is inconvenient, though.)

This might not be the case for a "socket port" so that socket has real
bidirectional IO.

_/_/
Takashi Kato
E-mail: xxxxxx@ymail.com