Question

我有一组阵列P,它代表一个矩阵,作为一个行矢量的阵列(对于我的目的来说,表示更方便),我想提取该阵列的柱形矢量j。我的第一个通行证是:

let column (M: float[][]) (j: int) =
   Array.map(fun v -> v.[j]) M

这无法编译, 告诉我 v. v. [j] 正在使用操作员expr. [idx] 在一个不确定类型对象上使用操作员expr. [idx] 。这让我困惑不解, 因为盘旋于 v 承认 v 是一个浮点, 我认为这是一个行矢量。

此外,下列代码还起作用:

let column (M: float[][]) (j: int) =
   Array.map(fun v -> v) M
   |> Array.map (fun v -> v.[j])

我无法理解第二个例子与第一个例子有什么不同。第二个例子的第一幅地图看起来多余:我为自己绘制了一个阵列,然而这似乎解决了类型确定问题。

任何帮助理解我做错事或看不到的事都会感激不尽!

Answer 1

问题是F#类型推论严格由右至右,以便编译者看到

let column (M: float[][]) (j: int) =
   Array.map(fun v -> v.[j])

此点, 它绝对对 < code> 绝对一无所知 < code> v , 所以会丢出一个错误。这就是为什么前端管道操作员 < code\\ gt; 如此常见 - 将您的代码重写为

let column (M: float[][]) (j: int) =
   M |> Array.map(fun v -> v.[j])

很好,这也是为什么你的第二个例子起作用的原因

Answer 2

由于类型检查器从左到右的工作方式, 类型( v ) 并不具体,尽管 M 类型在以后某个时候可用。因此 :



let column (M: float[][]) (j: int) =
   M |> Array.map (fun v -> v.[j])


或

let column M (j: int) =
   Array.map (fun (v: float []) -> v.[j]) M


工作。

在第二个例子中, fun v-> v  在任何类型上都是可以的。 因此, 数组元素的类型没有问题。 第二部分是  和 < code > 一样有效, 并展示了为什么我们应该使用管道操作员的另一个点 。

友情链接