<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, May 22, 2015 at 9:30 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"><div id=":1ge" class="a3s" style="overflow:hidden">It would probably work<br>
fine (great, even) when matching, but code that assumes String=[Char]<br>
would be completely killed on the construction side, because building<br>
Text by consing, or repeatedly prepending small chunks, is<br>
ridiculously inefficient.</div></blockquote></div><br>Actually, pattern-matching against Text using synonyms doesn't do so well performance-wise either. The unpack-on-the-left function is uncons, which has to do work and allocate memory.</div></div>