2013-03-24から1日間の記事一覧
無限リストに foldl を適用すると停止しないと言うのを前に書いたが、なぜ停止しないのだろうか。 なぜ停止しないのか foldl の定義はこうなっている。 foldl f z0 xs0 = lgo z0 xs0 where lgo z [] = z lgo z (x:xs) = lgo (f z x) xs f を(&&) とした場合…
無限リストに foldl を適用すると停止しないと言うのを前に書いたが、なぜ停止しないのだろうか。 なぜ停止しないのか foldl の定義はこうなっている。 foldl f z0 xs0 = lgo z0 xs0 where lgo z [] = z lgo z (x:xs) = lgo (f z x) xs f を(&&) とした場合…