A solution with enums would severely suffer from the expression problem... One would need to extent the enums every time one needs to support a new function. Maybe could be solved with type classes, don&#39;t know.<div><div>
<div><div><div><div><div><br><div class="gmail_quote">On Mon, Apr 20, 2009 at 3:57 PM, Achim Schneider <span dir="ltr">&lt;<a href="mailto:barsoap@web.de">barsoap@web.de</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">Lennart Augustsson &lt;<a href="mailto:lennart@augustsson.net">lennart@augustsson.net</a>&gt; wrote:<br>
<br>
</div><div class="im">&gt; On Sun, Apr 19, 2009 at 10:43 PM, Peter Verswyvelen<br>
&gt; &lt;<a href="mailto:bugfact@gmail.com">bugfact@gmail.com</a>&gt; wrote:<br>
</div><div class="im">&gt; &gt; For example, suppose you have a predicate a -&gt; Bool, and a list of<br>
&gt; &gt; these predicates [a -&gt; Bool], but you want to remove all functions<br>
&gt; &gt; that are obviously equal in the C way from the list for<br>
&gt; &gt; optimization... Okay big hack, and one could do this already with<br>
&gt; &gt; reallyUnsafePtrEquality# I guess...<br>
&gt;<br>
</div><div class="im">&gt; And when the need gets big enough you pull out StablePtr and use<br>
&gt; that. :)<br>
&gt;<br>
</div>Waaagh! Don&#39;t give him ideas, he&#39;s going to do it... Make yourself an<br>
enum, generate your list, nub it, then transform it to a list of<br>
functions. Always do everything with the least information sanely<br>
feasible, and a function is more information than a value, even if you<br>
can&#39;t get at it, anymore.<br>
<div class="im"><br>
<br>
--<br>
(c) this sig last receiving data processing entity. Inspect headers<br>
for copyright history. All rights reserved. Copying, hiring, renting,<br>
performance and/or quoting of this signature prohibited.<br>
<br>
<br>
_______________________________________________<br>
</div><div><div></div><div class="h5">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></div></div></div></div></div></div></div>