- 633 名前：デフォルトの名無しさん mailto:sage [2009/07/02(木) 10:04:34 ]
- 演算がmonoidalならfoldも並列化できる
(x + y) + z = x + (y + z) { associative }
x + e = e + x { unit }
x + (y + (z + e)) = (x + y) + (z + e)
(((e + x) + y ) + w) = (e + x) + (y + w)
ちなみにこれはfoldlからfoldrへの相互書き換えが可能になる条件でもある
多分この辺がslightlyに留まる理由で、
結論としてmonad最高！！ってな流れになったりならなかったりという予想
