<div dir="ltr"><br><br><div class="gmail_quote">On Thu, Oct 16, 2008 at 7:22 PM, leledumbo <span dir="ltr">&lt;<a href="mailto:leledumbo_cool@yahoo.co.id">leledumbo_cool@yahoo.co.id</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br>
&gt; ... &nbsp;If there isn&#39;t enough information to set a concrete type at the call,<br>
<div class="Ih2E3d">type inference fails. This is what you get with strong typing.<br>
<br>
</div>In my case, where does type inference fail? Strong typing is good, but quite<br>
confusing when combined with polymorphism.<br>
<div class="Ih2E3d"><br>
&gt; It isn&#39;t. The type of data in the list must be able to be compared.<br>
<br>
</div>Oops, sorry. What I mean by &quot;any&quot; is exactly as what you said: &quot;anything<br>
than can be compared&quot;. Can you tell me an example of list whose elements<br>
can&#39;t be compared (don&#39;t include user defined types, please) ?</blockquote><div><br></div><div>How about a list of functions from int to int?</div><div><br></div><div>Jason</div></div></div>