SICP

そういえばSICPのオブジェクトがimperativeなのは、型がない（ので抽象型もない）せいで、local stateでしか情報隠蔽が実現できなかったためではないか、と思ったり。大嘘です。Closureでいいやんけ！（動揺をごまかす似非関西弁）

あと、HTDPやEOPLもそうですが、あの本はMLかHaskellに「翻訳」すべきかも（←いつもの他力本願）。何人かやっているようですが。