https://twitter.com/kinaba のログ (twilog の方が便利です。)
ICFPのAccepted Paperチェックしようと思ってたのを忘れてた http://web.cecs.pdx.edu/~apt/icfp09_accepted_papers/accepted.html | |
Voigtlaender の Free Theorem シリーズ最新作(勝手にシリーズ化)と "Non-Parametric Parametricity" がとりあえず面白そう。あとRalf Hinzeのなにやるつもりかよくわからん奴とOderskyの限定継続の実装。 | |
[SRM] あーsqrt(500)までじゃなくて500/2までフラグ覚えておかないとだめだこの方針はだめだ。 | |
@akineko よろしくおねがいします m(_ _)m。この @ の仕様変更はどうなるんでしょうね。そのうち元に戻りそうな気もしますが |