[plt-scheme] find out return type of a function in typed scheme

On Sun, May 16, 2010 at 2:00 AM, keydana at gmx.de <keydana at gmx.de> wrote:
> Hi all,
>
> is there a possibility to get reflective information about types other than the basic predicates like Real? or String?, e.g. find out the return type of a function?

The only form of reflection at the moment is that expressions at the
REPL have their types printed.  So if you enter `+' at the REPL, its
type is printed.

What form of reflection would you want?  I don't think I'm going to
give access to the internal type representation, since I want to be
able to change that in the future.
-- 
sam th
samth at ccs.neu.edu