Entries from 2009-04-10 to 1 day

学習ログ

Lazy Evaluation 理解があってるのかな? Prelude> let hoge a = putStrLn "fuga" Prelude> hoge (map odd [1..]) fuga"map odd [1..]"の箇所が評価されることなく、fugaが出力される。 必要になるまで、評価をさぼることで、計算量を押さえることができる。…

学習ログ

Prelude> 1/0 InfinityInfinity => 1. 無限{むげん}であること、無限性{むげん せい} 2. 無限{むげん}の宇宙{うちゅう}[時間{じかん}・空間{くうかん}] 3. 〔数えられない〕無限{むげん}の[膨大{ぼうだい}な]数量{すうりょう} 4. 《数…