ゆの in D - d.y.d.

17:37 08/07/30 ICFP Workshops via 住井さん で、 ML Workshop の採択論文リストが出てることを知りました。 "Many holes in Hindley-Milner" (複数穴あり Zipper 的なものをMLで扱う話、穴の個数を型情報に含めるための加算できる自然数表現を差分リストで、 っていう技が面白かった) と "Unrestricted call-by-value recursion" （call-by-value で再帰的な (ループした) データ定義を実現する手法、これで、フルの call-by-need セマンティクスがなくてもそっち方面で使われてる テクニックをいくらか持ってこれるよ）というのだけ読んでみた。 他の併設ワークショップ の論文リストも 揃ってきてるみたいですね。 個人的に WGP の "Concepts =? Typ

[drillbits]

booleanのHi_Da_Maは普通に変数名か

[paulownia]

Xの評価時にコードを走らせ、前と後のXで別にするハック、すごすぎ！！

[kgbu]

なるほどそういうことだったのか

[yugui]

なるほど。

[terazzo]

これは悔しいぞ

[pascal256]

これはすごい。myprintは考えてみたら当たり前だけど思いつけなかった...orz

[onk]

static Import の有効活用 / ほー，static フィールドってこういう順番なのか。ホントに評価する直前に初期化されるのな。

[matsuza]

変態

[SiroKuro]

うあー。これすっげー

[t_yano]

これはすばらしい。参照したときにはじめてクラスがロードされて式が実行されるということか。

[cho45]

D! みんなノリがいいなーw

[smoking186]

Conjunctive Grammerだと{wcw|w∈{a,b}^*}は書けるが{ww|w∈{a,b}^*}はまだ分からないらしい 変なの

[sshi]

「まずそもそもその D ってどういう集合だよって問題がでてきて」超キモイ