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

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Mon Aug 23 10:13:45 EDT 2010

On Mon, Aug 23, 2010 at 10:12 AM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> On Mon, Aug 23, 2010 at 9:57 AM, Will M. Farr <wmfarr at gmail.com> wrote:
>> On Aug 23, 2010, at 6:52 AM, Sam Tobin-Hochstadt wrote:
>>> Is this the same as the (brand-new) `for/flvector' and `in-flvector'?
>> At the moment, these do not use the unsafe-... variants (though I can eventually change them to do so).  Is Typed-Scheme smart enough to change them over even if I don't specify when somebody provides the correct flags?
> Yes, it should be.

No, sorry, that's not right.  Some operations will be made unsafe, but
vector indexing won't be, since TR can't prove the absence of bounds
sam th
samth at ccs.neu.edu

Posted on the users mailing list.