1

我有一个 F# 任务，我正在尝试计算矩阵的转置。很简单，但我不断收到价值限制错误，我不知道为什么。我咨询了许多存在的 VR 错误问题，但我仍然一无所知。这是我的代码：

let transpose = function
    | [xs ; ys] -> 
                let rec transpose_helper = function
                    | [],[] -> []
                    | x::xs , y::ys -> [x;y] :: transpose_helper (xs,ys)
                    | _ -> failwith "The matrix is not a square matrix"
                transpose_helper(xs,ys)
    | _ -> failwith "Incorrectly formatted input"

transpose ([[1;2;3];[2;3;4]]);;

我认为该错误部分是由于列表为空，但我所做的似乎无济于事。任何指针将不胜感激。

编辑：以下版本的代码有效。谁能解释为什么？

let transpose zs =
    match zs with 
    | [xs;ys] -> 
                let rec transpose_helper (xs, ys) = 
                    match (xs,ys) with
                    | ([],[]) -> []
                    | (x::xs , y::ys) -> [x;y] :: transpose_helper (xs,ys)
                    | _ -> failwith "The matrix is not a square matrix"
                transpose_helper(xs,ys)
    | _ -> failwith "Incorrectly formatted input"

transpose ([[1;2;3];[2;3;4]]);;

val transpose : zs:'a list list -> 'a list list
val it : int list list = [[1; 2]; [2; 3]; [3; 4]]

但是，编译器仍然抱怨上面的转置调用应该有一个单元类型，除非我使用 let 绑定它。谁能澄清这里发生了什么？

4

1 回答 1

5

我的猜测是您最初编写了此let rec transpose zs = match zs with ...内容，后来将其更改为使用function，这消除了对显式参数的需要。由于zs仍然存在，您的函数接受两个参数，这意味着您只是部分应用它。由于zs未使用其类型未知，因此您的部分应用函数返回通用函数值（值限制）。删除zs，一切都很好。

于 2013-02-11T17:44:30.983 回答