[racket] Typed Racket and in-vector; Failure to Type Check

On Tue, Nov 5, 2013 at 8:22 PM, Daniel King <daniel.zidan.king at gmail.com> wrote:
> I'm implementing an operation in Typed Racket to find the maximum element of a
> vector (if this already exists and I missed it, I'd love a pointer to
> it!).


I think `(apply max (vector->list v))` is the shortest way to write
this function.  Also: `(vector-ref v (argmax values v))`.

Sam