https://twitter.com/kinaba のログ (twilog の方が便利です。)
| きたく。@alohakun おつかれさまでした！ | |
| @koizuka ただいまですー | |
| とりあえず @hogelog さんの実物はそんなにmameに似てなかったことを申し伝えておきたい | |
| ETの現時点での意義と、定義の概要と、やりたいことは理解できた気がする。Prologとの対比はわかりやすかった。 | |
| やりたいこと、は自分がやりたいと感じないことなのだけどそれをやりたい人がいるというのはわかる。定義の概要、は「確定節extended withデータ構造/特殊化とかいうのの書き換えルール」が十分に汎用の表現である/筋がいい表現である、という感覚がどこから来るのかがまだわかってない | |
| という感じの今です。まあすごく面白かった。 | |
| ピニュとLiarGameとはこぶね白書やっと入手した。書泉グランデ++ | |
| よつばと！は、よつば＆その他の皆さんの距離感の取り方がそれぞれ絶妙に違っていて、しかもどれもあるある、っていう感覚がすごいよなー | |
| 「VMに関数間ジャンプ命令がないのでtail-recursionの最適化はできても一般のtail-callの最適化はできない」みたいな状況があるので用語を分けることに意味がなくはないなー。普段tailcall opt.としか言わないけど |