[racket] Questions on Typed Racket's FlVector

From: Ray Racine (ray.racine at gmail.com)
Date: Fri Apr 6 10:49:47 EDT 2012


I'm putting together an equivalent of a dataframe from R in Racket.

To maximize performance of computation over vectors of real numbers is
FlVector the correct type to use in Typed Racket?
Is there some sort of performance gain by having flvector-length in
addition to vector-length?
Is the following behavior a bug?

> (vector-length (flvector 1.2 2.3))
stdin::43119: Type Checker: Expected Vector, but got FlVector in: (flvector


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20120406/d636aca3/attachment-0001.html>

Posted on the users mailing list.