On Thursday, October 6, 2011, Sam Tobin-Hochstadt &lt;<a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a>&gt; wrote:<br>&gt; In Le Fessant and Maranget, ICFP 2001, they have measurements that<br>&gt; show a 30% speedup of whole (toy) programs, with a similar but smaller<br>
&gt; suite of optimizations.<br><br>Does match reproduce that speedup?<br><br>&gt; Given the extensibility of `match&#39;, the performance difference can be<br>&gt; made arbitrarily large.  For example, Eli&#39;s example doesn&#39;t call the<br>
&gt; `one??&#39; function, which could take arbitrarily long (imagine a<br>&gt; database query).<br><br>Match&#39;s reordering of the predicates can also slow it down arbitrarily with reasoning like that (imaging a predicate that is very fast at saying &quot;no&quot; on one element if a list and very slow to say &quot;no&quot; to a different element and that predicate is used twice in the same list pattern).<br>
<br> I don&#39;t see how that helps us understand the value of reordering the patterns. <br><br>Robby<br>