[id:lethevert:20070422:p2]を書いた後に、すべてを純粋関数指向で書くにはどういうモデルを採用すればよいのかを考えていた。 昨日のモデルは、言うならば、クライアント／サーバーモデルという感じなわけだけれど、サーバー側（つまり世界の側）のプログラ…

Haskellのモナドが圏論のモナドをバックグラウンドに持っているように、Cleanの一意型は線型論理をバックグラウンドに持っている（らしい）。 ちょうどよいところに、id:m-hiyamaさんが線型論理の説明をしているので、メモ。 [id:m-hiyama:20070411:11762555…

以前、遅延IOを作るためにtransactionというモジュールを作ったことがあるのですが、 http://lethevert.blogspot.com/2006/10/transaction.html これを使わなくても遅延IOは普通にできるのではないかと気づきました。 Start w # (_,fin,w) = fopen "input.tx…

DelphiでSAXとかGoogleで調べても、一番便利なライブラリが埋もれてしまうので、ここにメモしておこうと思います。 DelphiからはExpatが利用できます。 http://expat.sourceforge.net/ ExpatはC言語で書かれたSAXライブラリで、さまざまなアプリケーションや…