2006-03-28から1日間の記事一覧

Concurrent Clean : アキュームレータ

[id:sumim:20060327:p1]のコメント欄で、代入の件で勘違いした件について、そういう時は、Cleanはどう書くのかを考えてみました。 Start w = w --> stdio --> \(f,w) = f --> printAc 1 --> flip fclose w --> snd printAc n f = f --> (n --> (+) 2 --> (+)…

http://www.cs.ru.nl/にアクセスできない件

プロバイダに問い合わせて、いろいろやりとりしていたのだが、「IPアドレスを直接入力してもアクセスできない」と何回も説明しているのに「DNSサーバーに異常はありませんでした」みたいな回答が返ってくる_| ̄|○ プロバイダなんだから、障害受付の担当者に…

純粋関数型とオブジェクト指向

純粋関数型とオブジェクト指向はやっぱダメなんじゃないかと思うこの頃です。オブジェクト指向をなんと解釈するかによってなんとでもなるので、かみ合った議論がしにくいですが。 こう考えるのは、SICPの影響だと思うのですが、純粋関数型とオブジェクト指向…