2006-03-22から1日間の記事一覧

OCaml : 正格評価 : 高階関数とリストによる抽象化

Concurrent Cleanでは、次のようなプログラムは普通ですが、 Start = sum $ map (\x = x*x) $ filter isOdd [0..100]遅延評価では効率的なこういうプログラムは、正格評価では非効率になるのですが、今日、これを逆にしたら、正格評価でも効率的なプログラム…