日々の流転

λ. 東方紅魔郷

「よけてるんじゃない、かすりに行ってるんだ」か。

λ. ロリとは

...

λ. 買った本

週間エコノミスト 2002年11月19日号

-

λ. 論文読み会: rfc2291

資料

λ. 夕食

久しぶりに豚菜。

λ. zip, unzip

CPLで書くとどうなるかと考えてたら意外と難しい。無限リストであるinflistに対しては

zip   = fold(prod(head, head), prod(tail, tail))
unzip = pair(inflist(pi1), inflist(pi2))
      = pair(fold(pi1.head, tail), fold(pi2.head, tail))

と単純なんだけど、普通のリストであるlistに対してはなかなかうまく定義できない。多分、λ計算で定義するのも結構大変なんじゃなかろうか。