<div dir="ltr"><br><div class="gmail_extra">inline<br><br><div class="gmail_quote">On Sat, Dec 28, 2013 at 1:01 PM, Scott Klarenbach <span dir="ltr"><<a href="mailto:scott@pointyhat.ca" target="_blank">scott@pointyhat.ca</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Matthias,</div><div></div></div></blockquote><div> ...</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr"><div></div><div>As an aside:</div><div class="im"><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

This might be a MIT misunderstanding about the relationship between Scheme and the lambda calculus. It is certainly not possible in general and I see no pragmatic use case for an approximation. <br></blockquote><div><br>
</div>
</div><div>It would be really nice to print the source code of a known procedure on the repl, in order to get a quick view of what it does.  Or, the "pa" function which prints out the arguments of a procedure is even more useful.</div>
</div></blockquote></div>This isn't related to your main query, but it sounds like the functionality of `pa' is served by function type signatures in Typed Racket.<br clear="all"><div><br></div>-- <br><br>Cheers,<br>
Mark Watts<br>Department of Computer Science<br>University of Texas at Austin
</div></div>