trasporre una lista di liste

Question

Sto provando a fare una funzione ricorsiva per ottenere la trasposizione di una lista di liste, n x p a p x n. Ma non sono in grado di farlo. Sono stato in grado di fare una funzione di trasporre una lista di liste 3 x n a un n x 3 uno:

let rec drop1 list= 
    [(match (List.nth list 0) with [] -> [] | a::b -> b); 
    (match (List.nth list 1) with [] -> [] | a::b -> b); 
    (match (List.nth list 2) with [] -> [] | a::b -> b);] 

let rec transpose list= 
    if List.length (List.nth list 0) == 0 then [] 
    else [(match (List.nth list 0) with [] -> 0 | a::b -> a); 
      (match (List.nth list 1) with [] -> 0 | a::b -> a); 
      (match (List.nth list 2) with [] -> 0 | a::b -> a)] 
     :: transpose (drop1 list) 

Ma io non sono in grado di generalizzare. Sto sicuramente pensando nella direzione sbagliata. È generalizzabile? C'è una soluzione migliore? Per favore aiuto.

Answer 1

let rec transpose list = match list with 
| []    -> [] 
| [] :: xss -> transpose xss 
| (x::xs) :: xss -> 
    (x :: List.map List.hd xss) :: transpose (xs :: List.map List.tl xss)