[racket] Typed Racket reactions on developing polymorphic typed array library, and questions

From: Neil Toronto (neil.toronto at gmail.com)
Date: Tue Aug 24 01:15:28 EDT 2010

Sam Tobin-Hochstadt wrote:
> On Mon, Aug 23, 2010 at 6:12 PM, Neil Toronto <neil.toronto at gmail.com> wrote:
>> Sam Tobin-Hochstadt wrote:
>>>>  - Polymorphic structs being proper subtypes *snip* 
>>> I'm not sure exactly what you mean here.  Can you give an example?
>> Yep. Here's the array type:
> [helpful example elided]
> Hmm.  I see why this doesn't work currently.  A workaround would be to
> use unions rather than struct subtyping, here, but I'll try to make
> this work.  If you could submit a bug report, that would help.

Cool. Bug 11099 is close, but is really about subtypes with (Vectorof T) 
fields specifically. I've made 11122 for this.

Neil T

Posted on the users mailing list.