https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @kazu_sakaguchi 理論上は言語内で自分自身の型推論器が書けるつもりなので言語自体に型を持たせる気はない、という方向なんですが、インチキでない型推論をライブラリ実装するのは時間足りないのでいつか未来に…というような状況です | |
| 1000点って書いてあると解けないけど900点って書いてあると解けるみたいなのはあるなあ（TopCoder脳）。確かになにか心理学的な名前ついてそう http://twitter.com/riceflow/status/6006584568193024 | |
| @pi8027 停止しないケースがあります( PDF: http://www.diku.dk/hjemmesider/ansatte/henglein/papers/henglein1993a.pdf )。その理由は、20年前には証明されていなかったような結果なのでそれなりに複雑なんだと思います（僕もよーしりません）。 |