[racket] typed racket and generic interfaces, is there a workaround using properties?

From: Spencer florence (spencerflorence at gmail.com)
Date: Sat Sep 27 01:07:43 EDT 2014

I don’t think you can. You would need define the struct in an untyped module then require it via require/typed. This is why dict’s don’t work in typed/racket either.

On Sat, May 24, 2014 at 9:39 PM, Alexander D. Knauth <alexander at knauth.org>

> Do generic interfaces work using structure type properties, and if they do, is there a way to use generic interfaces through properties so that I can do it in typed racket?  
> Specifically I’m trying to use the gen:custom-write and gen:dict generic interfaces.  I can use prop:custom-write for the first one, but I don’t know what to do for gen:dict.  
> Otherwise I’ll just put it in an untyped submodule.  
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140926/e61d292b/attachment.html>

Posted on the users mailing list.