東京へ移動。今回はいくつかの用事を果たすためだが、 その一つがダイビルでの笹田、中田、まつもとのミーティング。
未踏としての結果を出すためにもロードマップを作る、 というテーマなんだが、普段からロードマップとは無縁の生活をしてるので すぐに脱線しちゃう。
なんだかんだといって決めたのがリンク先のもの。主要な部分は
といった感じ。
うちが提供するトレーニングプログラムのレパートリーが増えました、という話。
それなりに好評のようでありがたい。 売り上げとしてはそんなに多くはないのだが、 これまでの開催でも結構「次につながった」ケースもあり、 無視できない。
教育重要。
Scheme上にErlangの並列実行モデルを実装するTermiteの紹介。
論文だけだとわかりにくいところが実際のコードで見ると 把握しすい。 明示的にforkしているところはちょっと抽象度が低いけど、 「仕組みが見える」と考えると、それはそれで良いのかもしれない。
なんともヘンな言語Enchiladaの紹介。
あらゆるものがImmutableな関数型言語であるEnchiladaは 分散や並列を意識して設計されている。 データ型はリストしかなく(!)、数値などもリストで表現する。 つまり、数は空の式n個を含む配列で表現する(!!)。
Lispは単なる括弧(f x)が
文脈によって決定されるのがつらい、という話。
ま、そういう傾向はある。S式の解釈がプログラマブルであるところが、 Lispの最大の利点であるのだが、最大の欠点でもあるということか。
Rubyに満足できずにPythonに移行したという話。残念。
で3ストライクアウトだそうだ。うーむ。
その他にも「YARVが継続とグリーンスレッドをあきらめて、GCモデルは維持する」という判断に反対なのだそうだ。これは参考にしたい。が、現在のグリーンスレッドにはそれほどの価値はないと思うし、GCモデルによる問題はそれほど大きくないとは思う。継続は確かに痛いけど。
今年も実行委員やります。