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

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Sun May 16 07:59:29 EDT 2010

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

Posted on the users mailing list.