On Apr 19, 2014, at 10:44 PM, Neil Toronto <neil.toro...@gmail.com> wrote:
> That is weird. It works in the nightly build without annotating anything but > `sphere3d`, and likely in the next release as well. Keyword arguments haven't > been all that well-supported in the past, so I'd try making the arguments to > sphere3d positional instead. Then how do the functions in the plot/typed library work? They use keyword arguments, right? Why would keyword arguments work for them and not for my sphere3d? > Also FWIW, in Typed Racket, vectors are annoying function arguments because > their types are invariant; i.e. because vectors are mutable, a (Vectorof > Integer) isn't also a (Vectorof Real). To use the `sphere3d` function, I had > to explicitly instantiate the #:posn argument's type: > > (plot3d (sphere3d #:posn ((inst vector Real) 0 0 0) #:r 2)) > > When it was (vector 0 0 0), TR made it a (Vectorof Integer) and raised a type > error. > > It would be great if we had types and functions for operating on immutable > vectors. Until then, it's best to use lists or your own immutable structures. I wanted to use vectors so that I could use things like v+ from plot/utils (or plot/typed/utils). But you can still use (ann (vector 0 0 0) (Vectorof Real)), right? ____________________ Racket Users list: http://lists.racket-lang.org/users
