日々の流転

λ. Rena (5)

色々とダメダメだけど、こっそり公開。rena-0.0.1.tar.gz

λ. [ruby-dev:23634] Re: NEWOBJ() in dfree

そういえばRuby-GNOME2もdfree()内でRubyのコードが実行される可能性があるなぁ。というのも、destroyシグナルのようなシグナルにシグナルハンドラを結び付けていると、dfree内でオブジェクトが開放された際にそれが実行されてしまうため。

λ. 某コンサート

気まぐれで、某コンサートのお手伝い。小学校の頃の同級生に会う。

λ. "A New Notation for Arrows", Ross Paterson

を読んだ。「κpat -> cmd」なんてどっかで見たような文法が出てきて、おやっと思ったら、やっぱり"Decomposing Typed Lambda Calculus Into a Couple of Categorical Programming Languages"のκ-calculus 繋がりだった。Arrow とは全然関係ないと思っていたので、こういう繋がりがあるのは意外で面白いな。

[2005-04-30 追記] ArrowZero は zeroArrow >>> f = zeroArrow と f >>> zeroArrow = zeroArrow という強い性質を要求しないため、単に ArrowPlus の <+> の単位元という位置づけでしかない。でも、それならば ArrowZero を ArrowPlus から独立したクラスにすることに何の意味があるのか?