まだ全然読んでいない。きのうamazonから届いた。

ふーむ。クオリアというのは、型のことじゃな。ツリーに応じて型ができるとは、型付ラムダ計算にそっくりじゃな。でも時間のことを考えなくてはならないから、普通の計算論でとらえられないやうな気がする。 それにしても、著者のwebページが奮っている。ち…

Webページを作るユーティリティをCommon Lispで書いていたら、clispにeucが通らないことに気づいた。Common Lispの実装で、eucを通すものを探してみたが、無料でずっと使えるのは見当たらない。 なので、Schemeで書き直すことにした。SchemeにはGaucheという…