cut-sea (2005/04/27 17:23:53):

最初見たとき？だったのが最後の Consolidation だったのですが。 comp.lang.scheme でも少し話題になっているようで。

>>>| - all datums will be serializable and obey read/write invariance
>>>I wonder how procedures and open files are going to be serialized.
>
> Unless they change the set of values called datums, procedures
> and ports aren't datums.
>
>> I wonder how the eof-object will be serialized.
>
> My guess: #!eof  (see the previous progress report).

The eof-object isn't a datum either, unless they change the definition of
datum.  See section 7.1.2 of R5RS.

で、datumsっていわゆる値ではないのですね。 procedureが第一級の値で、こいつのことを言っているのだと思ったので、 どうやってR/Wすんだべか？？？とか真っ先に思ったわけですが、 sec7.1.2に確かに定義されておりますなぁ。 上でもくどくど書かれている通り、datumsの定義が変わってなければ。
結局、read/write invarianceってどういうことよ？ってやっぱり謎。
ところで独自拡張とはどんなものを構想されてたんですか？

shiro (2005/04/27 20:39:03):

WiLiKi:Gauche:スロットアクセスの "[x y]" の項参照。read/write invarianceはここで説明するのはごちゃごちゃしそうなので 知りたければ別ページにしましょう。

cut-sea :

是非 > WiLiKi:Scheme:ReadWriteInvariance