I don't know what the procedure means (I've seen this a few times but not sure where it came from... links appreciated) - takes in a procedure that takes itself as a parameter?  The lambda probably behaves differently pending on the parameter - doesn't this fall under dependent type?  I will pass on more counter examples as I know I can't type them all and hence want a good type system :)
<br><br>I assume you are trying to say that you can&#39;t type everything under the sun that you can evaluate, correct?&nbsp; Is this a limitation of a type system, or an inherent limitation in type theory?&nbsp; <br><br>Thanks,<br>
yc<br><br><div><span class="gmail_quote">On 6/11/07, <b class="gmail_sendername">Prabhakar Ragde</b> &lt;<a href="mailto:plragde@uwaterloo.ca">plragde@uwaterloo.ca</a>&gt; wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
YC wrote:<br>&gt; add1 is int -&gt; int<br>&gt; (lambda (x) x) is any -&gt; any<br>&gt; I don&#39;t understand enough about call/cc so I won&#39;t attempt&nbsp;&nbsp;;)<br><br>Okay, so try to type (lambda (x) (x x)) from Eli Barzilay&#39;s .signature. --PR
<br>_________________________________________________<br>&nbsp;&nbsp;For list-related administrative tasks:<br>&nbsp;&nbsp;<a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a>
<br></blockquote></div><br>