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

Concurrent Clean : リストによる抽象

Start = sum $ map (\x = x*x) $ filter isOdd [0..100]というプログラムが、処理の流れが「右から左」になるので、これを「左から右」または「上から下」にしたいという方へ。 (-->) infixl 0 (-->) a f :== f aを定義すると、 Start = [0..100] --> filter…

quiz

せっかくなので(何が?)クイズでも。 問題の定式化が曖昧なのは、わざとということで。 循環のない連結有向グラフで、入口と出口がそれぞれ1つのものを考えます。 グラフデータは次のように与えられます。 ::Node :== Int ::Arc :== (Node, Node) //(from…