- 2008-06-07 (Sat) 06:27
- 一般
携帯のスパムメールがうざい．金掛かるからくるな．
それはさておき昼飯のときの会話でtheorems for freeとかfunctional programming with bananas, lenses, envelopes, and barbed wireとかが関数型言語周りの変なタイトルの論文として挙げられていたりsubtypingのせいでparametricityが壊れるだのの会話が出たりと今日の話はマニアックだったなぁ．何でこんな話になったのか思いだせん．
- Newer: ことはじめ