日々の流転

λ. 金沢の方へ旅行に行ってきます。

λ. 『「知財」で稼ぐ！』

飛行機の中で読んだ。

λ. 旅行

.

λ. 永平寺

そうそう。永平寺にも行きました。先生、eiheiですよ、eihei。(補足: 研究室で僕の使っているマシンの名前がeiheiなのです)

λ. "Compiling Haskell to Java", Mark Tullsen

GHCにSTGのコードを吐かせてそれをJavaに変換してJVMで動かす話で、デザインディシジョンについての議論がメイン。このデザインディシジョンは全く順当だと思う。ああ、そうだ。Mondrian関係のドキュメントを読んで、こっちの方面では代数的データ型はこういう場合にはサブタイピングで代用するのが流行りなんだと思っていたが、ここでは整数でタグをつけてるな。あと、速度は GHC > この実装 > Hugs みたい。