https://twitter.com/kinaba のログ (twilog の方が便利です。)
| ICFPコンテスト飲み会から帰宅。@tanakh さんから午後の紅茶をガッツリいただいた。ありがたやありがたや。そしてICFPの話はあまりしていなかった… | |
| 決定不能の会は優先度法がちょっとわかった気になった。ばんざい。あと @a7k7 氏がいるセミナーはすごく久しぶりだった気がするけど鋭い突っ込みでさすがだったなあ | |
| @sacred_fox お礼に土佐土産のローソン高知駅前店のレシートなどをお渡ししてきました！ | |
| 「MLの型推論は一般には最悪EXPTIMEだけど、この最悪ケースに陥るのは異様にデカいサイズの型が現れる時に限る（ので普通のコードでは起きない）」というようなことがフォーマルに示されている or 否定されているのどちらかはあると思うんですけど、というのが最近気になってたんですけど | |
| http://dx.doi.org/10.1007/3-540-44881-0_31 と、そっから参照されてる諸々の結果でわりと満足しました。現れる型のarityとorderとlet x=ここ inのネストの深さが制限されてればO(n ackermann^{-1}(n)) |