函数组合依赖于部分应用吗？

Question

let updateCells (grid:Map<(int * int), Cell>) =

    grid |> Map.toSeq
         |> Seq.map snd
         |> Seq.fold (fun grid c -> grid |> setReaction (c.X, c.Y)) grid

let mutable _cells = ObservableCollection<Cell>( grid |> Map.toSeq
                                                      |> Seq.map snd
                                                      |> Seq.toList )
let cycleHandler _ = 

    self.Cells <- ObservableCollection<Cell>( grid |> cycleThroughCells
                                                   |> Map.toSeq
                                                   |> Seq.map snd
                                                   |> Seq.toList )

如果您注意到了，以下代码出现在所有三个函数中：

grid |> Map.toSeq
     |> Seq.map snd

功能组合

在函数式编程中，我们可以将函数融合在一起，这样它们就可以成为一个函数。

let getCells = Map.toSeq >> Seq.map snd >> Seq.toList

let updateCells (grid:Map<(int * int), Cell>) =

    grid |> Map.toSeq
         |> Seq.map snd
         |> Seq.fold (fun grid c -> grid |> setReaction (c.X, c.Y)) grid

并将其重构为：

let updateCells (grid:Map<(int * int), Cell>) =

    grid |> getCells
         |> Seq.fold (fun grid c -> grid |> setReaction (c.X, c.Y)) grid

我关于函数组合与部分应用程序耦合的想法是否准确？

Answer 1

实际上，如果你把表达式

let getCells = Map.toSeq >> Seq.map snd >> Seq.toList

并尝试将其编译为独立表达式，则会出现编译器错误：

错误FS0030:值限制。当'_a:comparation
时，'get cells'值被推断为具有泛型类型val getCells:(map<'_a,'_b>->'_b list）；如果'_a:comparation
将'get cells'的参数设置为显式，或者如果不希望它是泛型的，则添加类型注释。

let getCells xs = xs |> Map.toSeq |> Seq.map snd |> Seq.toList

>>函数组合运算符使用的样式称为无点。它在部分应用程序中工作得很好，但并不完全相同。

但是，在这个例子中有一个部分函数应用的例子：

let getCells xs = xs |> Map.toSeq |> Seq.map snd |> Seq.toList

函数snd具有以下类型：

'a * 'b -> 'b

这个函数只接受一个参数。

您还可以编写上述getcells函数，而不部分应用snd函数：

let getCells xs = xs |> Map.toSeq |> Seq.map (fun x -> snd x) |> Seq.toList

请注意，您可以传递一个lambda表达式，而不是传递给seq.map的部分应用函数。getcells函数仍然是由其他函数组成的函数，但它不再依赖于snd的部分应用。

因此，为了部分（双关语）回答您的问题：函数组合不必依赖于部分函数组合。

在F#中，函数默认是curred的。这意味着所有函数都只接受一个参数，并返回一个值。有时（经常），返回值是另一个函数。

Seq.map snd

let getCells xs = xs |> Map.toSeq |> Seq.map snd |> Seq.toList

正如您所看到的，部分应用程序不是函数组合所必需的，但它确实使函数组合变得容易得多。

上述使用管道操作符(>)的组合仍然依赖于函数map.toseq、seq.map等的部分应用。为了证明合成不依赖于部分应用，这里有一个“公正”（部分的反义词？（双关语））替代方案：

let getCells xs =
    xs
    |> (fun xs' -> Map.toSeq xs')
    |> (fun xs' -> Seq.map (fun x -> snd x) xs')
    |> (fun xs' -> Seq.toList xs')

请注意，该版本广泛使用了lambda表达式，而不是部分应用程序。