ホットコーナーブログ(iiyu.asablo.jpの検索)ホットコーナー内の検索でもASAHIネット(asahi-net.or.jp)全体の検索です。検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。)に転載したものから。昼休みなど時間が余ったときにちょこちょこ読んでる。第2版だが再読ということになる。読むと20年前と違って、すいすいわかるね。おれも成長してるじゃん。\(^O^)/20年でたったそれだけかよって感じだけどね。問題意識はよくわかる。実際に仕事としてソフトウェア開発を長くやっていると、設計や品質管理などで、どうしてだめなのか、何が足りないか、何が必要かなどというのが、昔と違って、自らの体験、経験として頭じゃなくて体でわかってるから、すこすこ読めちゃう。それにしても、こんなに徹底していたかなあ。原理原則、言葉の定義から、みっちりですね。Contract(DBC)」として有名です。20年前は、実際に動かせる無料の処理系なんかなかったけど、いまはありますね。いや、ほんといい時代。見をつけておきましたが、英語Wikipediaの記述はいいですね。SatherはC化じゃなくて、関数型言語化したものなんですよね。おれ的にはシンタックスはともかく、心はLisp化したEiffelといいたいところだけど。^^;http://en.wikipedia.org/wiki/Eiffel_(programming_language)これやECMAの言語仕様書をみると、Agentなんてのが入っているんです。これ、Lispのクロージャですね。Engineering(ISE)という会社でした)も、オープンソースで使うなら無料でいいよというEiffelの実装も配ってますね。Emacs頼みじゃない統合環境なのが太っ腹ですね。EnvironmentいまやECMAにもISOにもなってるんですね。