transposición de una lista de listas

Question

Estoy tratando de hacer una función recursiva para obtener la transposición de una lista de listas, n x p a p x n. Pero no puedo hacerlo. He sido capaz de hacer una función para transponer una lista de listas 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) 

Pero no soy capaz de generalizar. Estoy pensando en la dirección equivocada. ¿Es esto generalizable? ¿Hay una mejor solución? Por favor ayuda.

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)