定义平方和而不定义参数

Question

我想在没有明确使用参数的情况下定义sumOfSquares，而是依赖函数组合

下面是我的代码

let sumOfSquares = Seq.map (fun n -> n * n) >> Seq.sum

但是，我得到了以下错误

stdin(80,5)：错误 FS0030：值限制。值“sumOfSquares” 已被推断为具有泛型类型

val sumOfSquares : ('_a -> int) when '_a :> seq<int> 

要么明确“sumOfSquares”的参数，要么，如果你不打算 它是通用的，添加一个类型注释。

解决它的一种方法是使用参数

let sumOfSquares nums = nums |> Seq.map (fun n -> n * n) |> Seq.sum

这将起作用。但是，我想看看我是否可以单独使用合成来定义平方和

更新

这是一个nice article 描述我遇到的问题：值限制。

Answer 1

让我们看看当类型推断在这里起作用时会发生什么。首先你有

Seq.map (fun n -> n * n) >> Seq.sum

现在Seq 允许任何实现Seq 的东西，我们可以输入int list int[] 或许多其他内容。

结果，你得到 this 作为类型

val sumOfSquares : ('_a -> int) when '_a :> seq<int> 

现在的问题是sumofSquares 是一个值（它是一个函数）。不幸的是，您不能在顶级绑定中拥有通用值。但是，如果您明确说明参数，则可以使用通用函数。

因此，类型注释的一种替代方法是使参数像这样显式

let sumOfSquares s= s |> Seq.map (fun n -> n * n) |> Seq.sum

这行得通

在 SO 中搜索“值限制错误”应该会提供更多有关此问题的示例。

Answer 2

做一个类型注解：

let sumOfSquares : seq<int> -> int = 
    Seq.map (fun n -> n * n) >> Seq.sum