<div>A monoid is just an associative binary operation with a unit. They appear all over the place.</div>
<div> </div>
<div>Why do we bother to talk about them in programming?</div>
<div> </div>
<div>Well, it turns out that there are a lot of ways you can take advantage of that fairly minimal amount of structure. </div>
<div> </div>
<div>For one, you could take any container worth of values that can be mapped into the monoid and apply the monoid to the elements the container in a left to right or right to left or arbitrary ordering, and by the magic of associativity you will get the same answer. Since you are free to reparenthesize you can even compute the result in parallel.</div>

<div> </div>
<div>Normally you have to distinguish between foldr and foldl. When the operation you are applying is monoidal, you just have fold (from Data.Foldable). And the container can choose the traversal that makes the most sense for it.</div>

<div> </div>
<div>One particularly interesting, if somewhat complex monoid is the &#39;fingertree&#39; monoid, which lets you glue together fingertrees of values that have some other monoidal measure on them.</div>
<div> </div>
<div>This is actually a pretty tricky data structure to get right, but it can be written once and for all (and has been tucked in Data.FingerTree) and is parameterized on an arbitrary monoidal measure. I find uses for this structure all over the place. For instance, FingerTrees of ByteStrings make a great text buffer with fast splicing operations, while still allowing them to be sliced at arbitrary positions if you use a monoidal measure for the size.</div>

<div> </div>
<div>In my monoids package I have several other monoids of interest. For instance, if I am interested in reducing a container of values with a monoid, I can turn to data compression techniques to build a variation on the container that can be decompressed inside of the monoid. Lempel Ziv 78 describes a compression technique, that can be applied to improve the sharing of monoidal intermediate results. Viewing the world this way helps turn data compression techniques into efficiently reducible data structures.</div>

<div> </div>
<div>The fact that you can use associativity to reparenthesize for parallelism, the unit to avoid having to perfectly subdivide into an exact number of cores, and that you can feed the result into a fingertree lets you build structures that you can build initially in parallel, and update incrementally for a reduced cost.</div>

<div> </div>
<div>All for the low low price of using a little bit of mathematical formalism.</div>
<div> </div>
<div>I have a few posts on monoids and my monoids package on my blog at <a href="http://comonad.com">comonad.com</a>, which may help you get your head around their use outside of the realm of pure mathematics.</div>
<div> </div>
<div>-Edward Kmett</div>
<div> </div>
<div class="gmail_quote">On Fri, Nov 13, 2009 at 12:11 PM, Magicloud Magiclouds <span dir="ltr">&lt;<a href="mailto:magicloud.magiclouds@gmail.com">magicloud.magiclouds@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">That is OK. Since understand the basic concept of monoid (I mean the<br>thing in actual math), the idea here is totally not hard for me. But<br>
the sample here does not show why (or how) we use it in programming,<br>right?<br>
<div>
<div></div>
<div class="h5"><br>On Sat, Nov 14, 2009 at 12:48 AM, Stephen Tetley<br>&lt;<a href="mailto:stephen.tetley@gmail.com">stephen.tetley@gmail.com</a>&gt; wrote:<br>&gt; 2009/11/13 Rafael Gustavo da Cunha Pereira Pinto &lt;<a href="mailto:RafaelGCPP.Linux@gmail.com">RafaelGCPP.Linux@gmail.com</a>&gt;:<br>
&gt;&gt;<br>&gt;&gt; Monoid is the category of all types that have a empty value and an append<br>&gt;&gt; operation.<br>&gt;&gt;<br>&gt;<br>&gt; Or more generally a neutral element and an associative operation:<br>&gt;<br>
&gt; The multiplication monoid (1,*)<br>&gt;<br>&gt; 9*1*1*1 = 9<br>&gt;<br>&gt; 1 is neutral but you might be hard pressed to consider it _empty_.<br>&gt;<br>&gt;<br>&gt; Best wishes<br>&gt;<br>&gt; Stephen<br>&gt; _______________________________________________<br>
&gt; Haskell-Cafe mailing list<br>&gt; <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>&gt; <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
&gt;<br><br><br><br></div></div><font color="#888888">--<br>竹密岂妨流水过<br>山高哪阻野云飞<br></font>
<div>
<div></div>
<div class="h5">_______________________________________________<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>
</div></div></blockquote></div><br>