https://twitter.com/kinaba のログ (twilog の方が便利です。)
| RT @ICFPContest2016: Contest results are up! https://t.co/5hQo9WUU4G | |
| これは正直、型で文法的制約を表現するというのは自明…という気分が強かったでした（Javaの型システムで実現するテクニックの部分は面白いと思う） https://t.co/iDcJj4lAR9 | |
| Expression Templateで、演算をinline展開した方がいい部分と一時オブジェクト作った方がいい部分とを文法にマッチするかどうかでコンパイル時に切り替えるみたいな話昔なかったでしたっけ（うろ覚え） | |
| 金槌を持ったら何でも釘に見える的な意味で、形式言語理論をかじったら何でも形式言語に見える力が高まるのでみんなかじろう |