Edit: I'm not even sure how to do (1) without (2) given that it requires
multiple evaluations of the same input. Any pointers would be appreciated.
On 8/9/18 7:02 PM, Alvin Cheung wrote:
Thanks. I am building a language with the same syntax as typed racket,
with the plan to (1) run the input as a typed racket program to type
check, and then (2) run it using my implementation, ideally with the
possibility of querying for the inferred types of the variables and
functions in the input program. Is there an easy way to do this?
Alvin
On 7/16/18 6:14 AM, Sam Tobin-Hochstadt wrote:
Typed Racket doesn't provide a public API for type information, but it
does retain lots of things and if you have something specific you
want, it may be easy to get it.
Sam
On Sat, Jul 14, 2018 at 2:46 PM, Alvin Cheung
wrote:
Hi, does typed racket retain the inferred typed information? If so is
there
a way to inspect them programmatically rather than using the REPL?
Thanks,
Alvin
--
You received this message because you are subscribed to the Google
Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it,
send an
email to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups "Racket
Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
