F＃功能清单

Question

我正在尝试提供功能列表，但似乎空手而归。 基本代码是这样的：

let doSomething var  =
    var

let doSomething2 var  =
    var

let listOfStuff = [doSomething; doSomething2]

我收到以下异常：

错误2值限制。 值'listOfStuff'已推断为具有通用类型val队列：（'_a->'_a）list要么将'queue'定义为简单的数据项，要么使其具有显式参数的函数，或者如果您不打算使用如果是通用的，则添加类型注释。 C：\\ fsharp \\ SentimentFramework \\ TradeSignalProcessor \\ Program.fs 16 9 TradeSignalProcessor

我尝试添加[<GeneralizableValue>]属性，但是没有用...

Answer 1

您想要由功能组成的列表吗？ 我认为它会像这样：

let f x = x + 1
let g x = x + 1

let listOfFunc = [f; g]

如果需要指定参数，请记住使用类型符号：

let f (x:string) = x + "1"

Answer 2

正如其他人指出的那样，为函数或列表提供显式类型将解决您的问题。 发生这种情况的原因是函数可以具有通用类型，但（通常来说）值不能具有通用类型。 编译器推断出，对于任何类型的'a ，您的两个函数都具有类型'a -> 'a 'a 。 这意味着您的列表将具有('a -> 'a) list类型，这是一个通用类型，并且对于值无效。 指定一个显式类型，如let listOfStuff : (int -> int) list = ...将解决歧义。

话虽如此，请注意，我无法在最新版本的编译器（F＃2.0.0.0）中重现此确切问题。 似乎列表表达式可以被概括（大概是因为它们没有副作用）。 但是，当我改用数组表达式时，会看到类似的错误。

Answer 3

您遇到了“价值限制”。 您不允许定义诸如listOfStuff -array之类的通用“值”。

关于此主题， 以前有一些问题可能会很有用，Microsoft在“自动概括”主题下对此进行了介绍。

编辑 ：德米特里·洛莫夫（Dmitry Lomov）在这里写了一篇很棒的文章： “ F＃值限制的要点” 。

Answer 4

列表都应具有相同的类型。 尝试为此使用元组。

...并尝试按照错误提示进行操作。 至少给您的输入一个类型。