Thanks Robby. Do you happen to have a link or a title that I can search on to find the text you are talk about? <br><br><div><span class="gmail_quote">On 6/11/07, <b class="gmail_sendername">Robby Findler</b> <<a href="mailto:robby@cs.uchicago.edu">
robby@cs.uchicago.edu</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Sounds like you need to read Pierce! Random people on random mailing
<br>lists are probably a less good source of info that a proper text, in<br>this case. But people here will probably be more than willing to help<br>you thru it if you get stuck somewhere. Plenty of people here know<br>that stuff.
<br><br>Robby<br><br>On 6/11/07, YC <<a href="mailto:yinso.chen@gmail.com">yinso.chen@gmail.com</a>> wrote:<br>> I don't know what the procedure means (I've seen this a few times but not<br>> sure where it came from... links appreciated) - takes in a procedure that
<br>> takes itself as a parameter? The lambda probably behaves differently<br>> pending on the parameter - doesn't this fall under dependent type? I will<br>> pass on more counter examples as I know I can't type them all and hence want
<br>> a good type system :)<br>><br>> I assume you are trying to say that you can't type everything under the sun<br>> that you can evaluate, correct? Is this a limitation of a type system, or<br>> an inherent limitation in type theory?
<br>><br>> Thanks,<br>> yc<br>><br>><br>> On 6/11/07, Prabhakar Ragde <<a href="mailto:plragde@uwaterloo.ca">plragde@uwaterloo.ca</a>> wrote:<br>> > YC wrote:<br>> > > add1 is int -> int
<br>> > > (lambda (x) x) is any -> any<br>> > > I don't understand enough about call/cc so I won't attempt ;)<br>> ><br>> > Okay, so try to type (lambda (x) (x x)) from Eli Barzilay's .signature.
<br>> --PR<br>> > _________________________________________________<br>> > For list-related administrative tasks:<br>> > <a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme">http://list.cs.brown.edu/mailman/listinfo/plt-scheme
</a><br>> ><br>><br>><br>> _________________________________________________<br>> For list-related administrative tasks:<br>> <a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme">http://list.cs.brown.edu/mailman/listinfo/plt-scheme
</a><br>><br>><br></blockquote></div><br>