<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div>I meant for a real finger tree w/ arbitrary measure, not a sequence.</div><div><br></div><div>In the fingertree package the measure of a fingertree is the monoidal sum of the measures of its elements, rather than having measures be 1 for each leaf so you can easily compute the "total" of a flattened FingerTree v (FingerTree v a) to get you a known shape to play with, that is all I meant.<br><br>Sent from my iPhone</div><div><br>On Dec 27, 2014, at 4:25 PM, David Feuer <<a href="mailto:david.feuer@gmail.com">david.feuer@gmail.com</a>> wrote:<br><br></div><blockquote type="cite"><div><p dir="ltr">I guess you're talking about a situation where the annotations are somehow compatible, so that you can try to reuse them somehow? I'm not sure if that would work or not, but it's very far from true for sequences.</p>
<div class="gmail_quote">On Dec 27, 2014 3:54 PM, "Edward Kmett" <<a href="mailto:ekmett@gmail.com">ekmett@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">+1 from me. <div><br></div><div>Interestingly, it strikes me that the fingertree version of intercalate could be made more efficient, even if the sequence version can't.<div><br></div><div><div>-Edward</div></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Dec 27, 2014 at 3:45 PM, David Feuer <span dir="ltr"><<a href="mailto:david.feuer@gmail.com" target="_blank">david.feuer@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">It seems there's enough interest to make it official. The usual two-week period begins now.</p>
<p dir="ltr">Intersperse can be given very pleasant performance characteristics for sequences: the result can constructed incrementally as it is consumed. Intercalate cannot perform so pleasantly, but it seems odd to add one but not the other.</p>
<br>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>
</blockquote></div>
</div></blockquote></body></html>