I recently ran into a problem in which opaque types (types imported from 
untyped code) cannot by parameterized by Typed Racket. I initially encountered 
this problem in my attempt to port 2htdp/image to TR 

After some further consideration, I’m interested in adding support to make 
something like this possible, which would certainly have additional benefits 
beyond this specific use-case. I’ve outlined my proposal here:

Any feedback, suggestions, or advice would be appreciated, especially from 
those who are familiar with Typed Racket’s internals.

Thank you,
  Racket Developers list:

Reply via email to