トップ «前の日記(2003-01-06) 最新 次の日記(2003-01-08)» 月表示 編集

日々の流転


2003-01-07 [長年日記]

λ. システムプログラミング

X11。今時XLoadFontやXDrawStringなんて特殊な目的でしか使わないのだから、FontSet系やXmb系のAPIの方を教えれば良いのに、と思わなくもない。

λ. ぎゃー

……とか言っていても仕方がないので、とりあえずダミーのClosedFunctorialExpressionを受け取れるようにして、length=prl(zero, succ.pi2) の型が「list(*a) -> nat」である事が計算できるようになった。ただ、これはあまりにも汚いので何とかしたいけど、木曜日に間に合わせるためには四の五の言ってられないか……

Tags: CPL