2006-05-27から1日間の記事一覧

TAPL : Types and Programming Languages (The MIT Press)

[id:lethevert:20060121:p5]で目をつけていた本。 もあと残り50ページを切ったので、そろそろ次の本を買おうかなと。 - で、買った。

ハードリンク

http://oss.timedia.co.jp/index.fcgi/kahua-web/show/ossz/oneline/2006-05-24より % ln hoge hoge.old && mv hoge.new hogeなるほど。ハードリンクっていうのは、こう使うのか。

Concurrent Clean : CleanJ

ポインタのないJavaで、項書き換えを効率的に実装するにはどういう構造にするのがいいんだろう・・・ 今の実装はどうにもad-hocな感じなんだよねぇ。 あと、eq_descは、結局のところ、どういうチェックが通ればOKなのか。Object#equals()とは違う気がする…