Re: [racket] Type for transposition idiom

2014-12-24 Thread Matthias Felleisen
How ugly :-) -- Matthias On Dec 23, 2014, at 8:41 AM, Alexander D. Knauth wrote: > I got this to typecheck: > > #lang typed/racket > > (: my-list : (All (A B ...) (A B ... B -> (List A B ... B > (define (my-list a . bs) (cons a bs)) > > (: transpose-vector-list (All (A B ...) (-> (List

Re: [racket] Type for transposition idiom

2014-12-23 Thread Alexander D. Knauth
I got this to typecheck: #lang typed/racket (: my-list : (All (A B ...) (A B ... B -> (List A B ... B (define (my-list a . bs) (cons a bs)) (: transpose-vector-list (All (A B ...) (-> (List (Vectorof A) (Vectorof B) ... B) (Vectorof (List A B ...

[racket] Type for transposition idiom

2014-12-22 Thread Neil Toronto
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)