トップ «前の日記(2002-09-10) 最新 次の日記(2002-09-12)» 月表示 編集

日々の流転


2002-09-11 [長年日記]

λ. CHARITY

Charity is based on the theory of strong categorical datatypes. These are divided into two subclasses: the inductive datatypes (built up by constructors in the familiar way) and the coinductive datatypes (broken down by destructors). Programs over these datatypes are expressed by folds (catamorphisms) and by unfolds (anamorphisms), respectively.

萩野先生が言ってたCPLを発展させたシステムってこれの事かな。

Tags: CPL

λ. linc-0.5.3 on cygwin

lincがunix domain socketに対してうまく動作しないので少し追いかけてみた。getsockname()で書きこまれるパスの最後が1文字欠けているようだ。調べてみると、予想通り最後のNULL文字分がバッファ長に含まれていない。linc-protocols.cのlinc_protocol_get_sockaddr_unix()を修正したら直った。linc-0.5.3-cygwin-20020911.patch

しかし、test-linc.exeで、クライアント側のlinc_main_loop_run()でブロックしてしまってるみたい。 サーバ側は破棄されているのに、クライアント側でbrokenシグナルが発生していないっぽい。良くわかんないや。ははは。