转置列表清单

Question

我试图做一个递归函数来获取一个列表的列表的转置n x p到p x n.但我无法这样做.我已经能够创建一个函数来将3 x n列表列表转换为一个列表n x 3:

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)

但我无法概括它.我肯定在想错误的方向.这可以推广吗？有更好的解决方案吗？请帮忙.

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)

Answer 2

我知道这是一个老问题，但我最近必须解决这个问题，作为我正在进行的练习的一部分，我遇到了 @sepp2k 的解决方案，但我无法理解它是如何工作的，所以我尝试通过我。

这本质上是相同的算法，但更简洁一些，因为它不会破坏列表的列表。我想我会将其发布在这里，以防其他人正在搜索，并且可能会发现这种表达方式很有用：

let rec transpose = function
   | [] 
   | [] :: _ -> []
   | rows    -> 
       List.map List.hd rows :: transpose (List.map List.tl rows)