See, that's the kind of name we need! StructureWithAssociativeOperationAndIdentity -- make both the mathematicians AND the non-mathematicians mad!<br><br><div class="gmail_quote">On Thu, Jan 22, 2009 at 9:53 AM, Dan Piponi <span dir="ltr"><<a href="mailto:dpiponi@gmail.com">dpiponi@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">On Wed, Jan 21, 2009 at 11:12 PM, Eugene Kirpichov <<a href="mailto:ekirpichov@gmail.com">ekirpichov@gmail.com</a>> wrote:<br>
> To my mind, in the map-reduce case you generally need a commutative<br>
> monoid. Or, you need an extra infrastructure that mappend's only<br>
> results from adjacent machines, or something like that.<br>
<br>
This is a good paper on the stuff I'm talking about:<br>
<a href="http://citeseer.ist.psu.edu/blelloch90prefix.html" target="_blank">http://citeseer.ist.psu.edu/blelloch90prefix.html</a> It doesn't<br>
explicitly mention monoids but it's all about associative operations<br>
with identity.<br>
<font color="#888888">--<br>
Dan<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</font></blockquote></div><br>