f# - 值限制 - 该值已被推断为具有泛型类型

Question

给出以下定义

let fn (id: int) (_:string) = id

我可以创建一个部分应用的功能

let fnPartial = fn 1

但是将类型更改_为非密封类型，例如IEnumerable

let fn (id: int) (_:IEnumerable) = id

导致编译错误

价值限制。值 'fnPartial' 已被推断为具有泛型类型 val fnPartial : ('_a -> int) when '_a :> IEnumerable添加类型注释。（使用内置 F# 编译器）

是的，这是设计使然 - IEnumerable 在字符串所在的位置没有密封，这会导致触发值限制

解决方法是添加类型注释

let fn (id: int) (_:IEnumerable ) = id
let fnPartial<'a> = fn 1

有人可以解释

score 2 · Accepted Answer

关键是在 F# 中不允许值是通用的。当您部分应用一个函数时，结果是一个值。

为了使绑定（或赋值）的左侧成为函数，您必须在左侧定义一个参数。

您得到的错误是由于IEnumerable不够具体而无法完全定义该值。鉴于IEnumerable您不知道要迭代什么，因此编译器无法确定该值的正确类型。

那么你的问题的答案如下：

1 回答 1