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

Hi Sam,


> 
> 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.

I'd need the return type of a function, as I'm tagging objects depending on that. Right now I'm using a workaround, I'm evaluating the expression and then test the result for its type, but I wouldn't need this if I could find out the operator's return type.
I can get along with the workaround, only the other way would be more natural (if possible).
Would there be a way to offer this information by some "convenience function", not necessitating exposal of the internal representation? But really it's not that urgent, I was just asking to be sure I don't oversee it in the documentation :-;

Ciao,
Sigrid




> -- 
> sam th
> samth at ccs.neu.edu

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20100516/57f64157/attachment.html>