日々の流転

λ. Re: 正格性解析

sum' = foldl (+) 0 がIntやIだと余計なメモリを食わず、Integerだと余計なメモリを食ってしまう理由ですが、原因はfoldlがインライン展開されるかどうかの違いですね(GHC 6.2.1 で確認)。IntやIだとfoldlがインライン展開されて、(+)の正格性に基づいた最適化がされてます。それにしても、なんでIntegerだとfoldlがインライン展開されないんだろう……

それはそうと、以下の3つの型は領域(domain)が同型なので、add (I x) (I y) = I (x + y) とかは(少なくとも理論的には)無意味だと思います。

• data I = I !Integer
• newtype I = I Integer
• Integer

λ. 風邪

先週末から少し調子悪いなと思ってたら、風邪をひいてしまった。今日が慶早戦による休講で助かった。

λ. ボイス

テレビでたまたまやってたので見た。原題は「폰」(phone,電話)というそのものズバリなタイトルだったようだ。題材は面白いとは思ったが、映画としての出来は大したことなかった。