2010-01-15から1日間の記事一覧
foldつづき. Fusion Property 以下の形の等式を考えます. h o fold g w = fold f v これは一般に成り立つわけではありませんが、 成り立つ場合にはUniversal Propertyによって次のような表現と同等であると言えます. (h o fold g w) [] = v (h o fold g w) (x…
foldつづき. Fusion Property 以下の形の等式を考えます. h o fold g w = fold f v これは一般に成り立つわけではありませんが、 成り立つ場合にはUniversal Propertyによって次のような表現と同等であると言えます. (h o fold g w) [] = v (h o fold g w) (x…