<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div>How ugly :-) -- Matthias</div><div><br></div><div><br></div><div><br></div><br><div><div>On Dec 23, 2014, at 8:41 AM, Alexander D. Knauth wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><meta http-equiv="Content-Type" content="text/html charset=utf-8"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>I got this to typecheck:</div><div><br></div><div><div><div><font face="Courier New">#lang typed/racket</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">(: my-list : (All (A B ...) (A B ... B -> (List A B ... B))))</font></div><div><font face="Courier New">(define (my-list a . bs) (cons a bs))</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">(: transpose-vector-list (All (A B ...) (-> (List (Vectorof A) (Vectorof B) ... B)</font></div><div><font face="Courier New"> (Vectorof (List A B ... B)))))</font></div><div><font face="Courier New">(define (transpose-vector-list xss)</font></div><div><font face="Courier New"> (apply vector-map (inst my-list A B ... B) xss))</font></div></div><div><br></div></div><br><div><div>On Dec 22, 2014, at 9:38 PM, Neil Toronto <<a href="mailto:neil.toronto@gmail.com">neil.toronto@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">Is it possible to get something like this to typecheck in Typed Racket?<br><br><br>#lang typed/racket<br><br>(: transpose-vector-list (All (A ...) (-> (List (Vectorof A) ... A)<br> (Vectorof (List A ... A)))))<br>(define (transpose-vector-list xss)<br> (apply vector-map list xss))<br><br><br>TBH, I haven't even gotten the non-dots version of this working, but the above type is what I really need.<br><br>Neil ⊥<br><br>____________________<br> Racket Users list:<br> <a href="http://lists.racket-lang.org/users">http://lists.racket-lang.org/users</a><br></blockquote></div><br></div>____________________<br> Racket Users list:<br> <a href="http://lists.racket-lang.org/users">http://lists.racket-lang.org/users</a><br></blockquote></div><br></body></html>