Ocaml中的int列表列表的移调

Question

我希望这对你们中的一些人来说会很容易。 我发现在这个论坛这个解决方案：

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) 

这是一个列表的列表的换位和它的伟大工程。

现在我需要相同的这个，而不是将列表列表转换为列表列表以将int列表列表转置为列表列表。

谢谢大家！

Answer 1

这就是多态性的意义所在。 'a类型可以是任何类型，因此您找到的解决方案与int list list一样适用。

如果你真的想类型为int list list -> int list list一个功能，你可以随时强制使用类型注释：

let int_transpose : int list list -> int list list = transpose 

但我不明白你为什么会。