https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 「出」を「shift」と読むのはなかなか良くできていることがわかってきた | |
| @kinaba http://twitter.com/ariya_/status/1171537945 いつものことながらTwitterのバグの芸術性には心底感心する | |
| @kmizu (_.sort(_ < _)) が難解かなーと思ってしまいました。これが λxyx: x.sort(y<z) ではなく λx: x.sort(λyz: y<z) になるのってSyntaxだけで決まるんでしょうか。 | |
| Boost.Lambda でいつも思うのが、無名関数内で無名関数を使おうとすると、スコープが暗黙に決まるせいでどのプレースホルダがどの式まで支配して無名関数化するのかわかりにくくて読みにくくなるなー、といつも。逆に、無名関数ネストしないならプレースホルダ式は絶対読みやすいと思う | |
| s/xyx/xyz/ | |
| 再帰的なものを名前やポインタを使わずに簡潔に記述する方法が発見されたらゼロの発見に匹敵するよなー、ということを時々考える | |
| Boost.Lambda は結局 protect とかあの辺をいまいち感覚で把握できてないので、ネストするときは結局いったんfunction<>に置いて使うことが多い | |
| @kmizu なるほど。文法読んで理解しました。これ、たとえば _.size >= 3 の _.size はまだ Expr ではなく SimpleExpr なのでそこでは区切られなくて、>= 3 まで入れた式が関数引数の位置に現れて初めてそこで Expr 扱いになるんですね | |
| 単独の _ が id にならないのは "e properly contains u (_)" が無名関数化が発動する条件だからか | |
| @ksuenaga 「自分で自分自身を定義」の「自分」を陽に指し示さないことになるので、その「自分」ってそもそもなんぞやみたいな話に… | |
| @kmizu 文と式の区別みたいな雰囲気で、漠然と、制御式と演算式みたいな感覚の区別ができてるのかなーという気がしました。演算子で組み立てた式がひとつのまとまりで、メソッド呼び出しとかそういうところでなんとなく区切れる | |
| _ == _*2 と _.equals(_*2) は c?t:e と if(c){t}else{e} が違うがごとく違う。っというのもなんか違うな。適当言ってる | |
| External鬼 | |
| 腕輪いちしの回復壺なしでよくがんばった… http://www.kmonos.net/wlog/sub/debu-ton.png 防御35もあってここまでデブートンきついものだったっけ… | |
| Gokuri Peach を飲むなどしていた。なんだかんだでやっぱり最初のグレープフルーツが一番おいしかった気がする | |
| 今年のPPLわりと真剣におもしろそうだ http://millsmess.cs.uec.ac.jp/ppl2009/cat1.txt 限定継続！動的計画法！S4のC-H対応！SATソルバ！あと中身わかってないけどmsakaiさん！ | |
| カテゴリ３に投げられるネタが何かないか頭の中を検索しているけどたぶん無い | |
| @chunjp 2/5にD論おわる→2/6PPL締切の24時間タイムアタック！！ | |
| (1)RegularQueryの結果保持の圧縮データ構造 → 3年前にPPLに出したやつとの差分が大変微妙 (2)逆型推論可能な木変換のクラスはMTT^*より真に大きいことの証明 → 俺以外に誰が得をするんだ (3)レキシカル限定継続 → 24時間でまともにまとまる気がしない | |
| (4)全身全霊を込めて24時間考えたらCFG \not\subset PEGの証明思いつくんじゃねーのか疑惑に挑む (5)まさかのInformativeぬるぽを実装してデモ (6)ところでJVM を Platform とする言語を実装することに関する考察は僕も聞きたいです | |
| @masahiro_sakai ！！ | |
| M-judgeのパスワードが思い出せない | |
| 思い出した、というか色々試してたら通った。わりときわめていい加減なパスワードだった… |