2006-08-04から1日間の記事一覧

Concurrent Clean : CleanJ : Java : CAFとThreadLocal

昨日の続き。 CAFをスレッドごとに別のオブジェクトにするとして、java.lang.ThreadLocalを使うというアイデアもある。 でもまあ、これはダメだ。 スレッドプールを使う場合を考えると、VMの寿命とスレッドの寿命に違いが生まれるから、古いCAFがいつまでも…

Types and Programming Languages (The MIT Press)

やっと10章まで読み終わりました。 10章までは、各章のページ数が少なくて、ちょっと読んだら次の話題、という感じなのですが、11章からは章の長さが長くなって、例もプログラミング言語らしいものになってくるようです。Types and Programming Langua…

Concurrent Clean : CleanJ : difference between build and build_u

buildとbuild_uはきっとデータ構造が違うのに違いない。そうに違いない。「_u」系がわざわざひとそろいそろっているのだから。 ということは、これを使って、なにかデータ構造を効率的なものにすることができるかもしれない。

Concurrent Clean : concatN and generics

[id:lethevert:20060701:p1], [id:lethevert:20060724:p1]で話していたような話と関連のある話。 MLでちょうど議論になってます。 といっても、結局そういうことはできないよね、という結論みたいですが。 - で、そこで話題になっているのが PolyP http://ww…

set! がないと再帰ができない

http://homepage3.nifty.com/mogami/diary/d0608.html#04t1より 本当か?・・・眠くてよく分からないや。