[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
errors.
-- 
sam th
samth at ccs.neu.edu


Posted on the users mailing list.