F# Seq.fold 智能感知

Question

我正在学习 F#，正在努力解析 Seq.fold 中出现的智能感知：

val fold : ('State -> 'T -> 'State) -> 'State -> seq<'T> -> 'State

在 C# 中，我习惯了 Aggregate 扩展方法，并且可以很好地理解C# 声明：

(extension) TAccumulate Aggregate<TSource, TAccumulate>(this IEnumerable<TSource> source, TAccumulate seed, Func<TAccumulate, TSource, TAccumulate> func);

因此，为了理解/推导本例中的 F# 语法，我一直在尝试在 Seq.fold 和 Aggregate 之间建立类比，但也许这是错误的做法。我知道 -> 定义了一个函数（或签名？），但除此之外，我很难阅读出现的内容。

需要明确的是，我不需要如何使用折叠的示例；我不需要一个例子来说明如何使用折叠。我只是在寻找 Seq.fold 智能感知中使用的 F# 语法的细分。谢谢。

Answer 1

在 F# 和许多其他函数式语言中，'a ->; 'b-> 'c-> 'd 是采用 'a、'b、'c 类型参数作为输入*的函数类型，并且返回一个'd。 So

  ('State -> 'T -> 'State)
//  1st      2nd   output

在 C# 中意味着类型的函数

State func<State,T>(State firstInput, T secondInput);

，

  ('State -> 'T -> 'State) -> 'State -> seq<'T> -> 'State
//1st input (a function)      2nd       3rd        output

在 C# 中意味着 _{* 类型的函数}

State func<State,T>(Func<State, T, State> firstInput,
                    State secondInput, 
                    IEnumerable<T> thirdInput);

：暂时忽略柯里化。

Answer 2

Fold 是一个函数，它接受一个函数 ( fun )，该函数采用 'State 类型的元素和 T 类型的元素并返回 'State 类型的值 ( ('State -> 'T -> 'State) )，一个 'State 类型的值和一个 T 类型的元素序列，并返回一个 `State 类型的值

基本上，在 F# 交互中键入以下内容

let sum x y = x+y;;

，您将看到

val sum : int -> int -> int

这意味着 sum 采用 int 和 int 并返回 int 。如果你能理解这一点，你就可以理解任何函数签名。

另请注意 ->是右结合的，当您将函数视为接受一个值并将其转换为另一个值的转换时，这种符号会变得更加明显。

所以上面其实就是int -> (int -> int ) 一个接受 int 并返回一个接受 int 并返回 int 的函数（称为柯里化。）