[id:lethevert:20070426:p5]で作った参照型を使って、ログ機能を作る。 log :: !(*File->*File) !(.b,!*(Ref *File)) -> (.b, !*(Ref *File)) log f (b,rf) = (b, apply f rf) というログ関数を作っておいて、（ちょっと関数名をかえて、整理した） Start w …

[id:hirose31:20070419:1176968993] こうやって使うのかー

http://www.kitami.tv/subnote/2007/04/11.html 条件が11もあったら普通の人には実践不可能だと思う。

ということで、こっち（→http://lethevert.blogspot.com/2007/04/concurrent-clean-reference-type.html）に説明を書いて、MLに投げてみた。

http://blog.miraclelinux.com/yume/2007/04/74_0ddd.html 参加してみようかと思ったのですが、残念ながら気づいたときには定員でした。