inline On Sat, Dec 28, 2013 at 1:01 PM, Scott Klarenbach <sc...@pointyhat.ca>wrote:
> Matthias, > ... > As an aside: > > >> 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. >> > > 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. > 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. -- Cheers, Mark Watts Department of Computer Science University of Texas at Austin
____________________ Racket Users list: http://lists.racket-lang.org/users