Is it possible to get something like this to typecheck in Typed Racket?
#lang typed/racket
(: transpose-vector-list (All (A ...) (-> (List (Vectorof A) ... A)
(Vectorof (List A ... A)))))
(define (transpose-vector-list xss)
(apply vector-map list xss))
TBH, I haven't even gotten the non-dots version of this working, but the
above type is what I really need.
Neil ⊥ ____________________ Racket Users list: http://lists.racket-lang.org/users
