ocaml - 在 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)

这是列表列表的转置，效果很好。

现在我需要相同的 this 但不是将 a' list 列表转置为 a' list 列表以将 int list 转置为 int list 列表。

谢谢大家!

Answer 1

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

如果你真的想要一个类型为 int list list -> int list list 的函数，你总是可以使用类型注释来强制它:

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

但我不明白你为什么会这样做。