Play Framework Form“折叠”方法命名原理

时间:2014-06-10 03:20:53

标签: scala functional-programming playframework-2.0

Play Framework的(2.x)Form class有一个名为fold的方法,其用法表示为:

anyForm.bindFromRequest().fold(
  f => redisplayForm(f),
  t => handleValidFormSubmission(t)
)

基本上,第一个函数参数是在绑定失败时执行的,第二个是绑定成功。对我而言,它似乎类似于jquery的ajax函数的'success'和'error'回调。

我的问题是为什么Play开发人员称该方法为“折叠”?作为免责声明,我是Scala的新手,但我没有看到它与功能Scala fold操作之间的联系。唯一的相似之处在于它是一个更高阶函数;但是我没有看到任何正在发生的组合,也没有将其实现内部委托给任何Scala折叠函数。

1 个答案:

答案 0 :(得分:1)

我不是FP专家,但我的理解是fold,一般来说,完全将类型的内容转换为另一种类型,尊重原始的递归结构类型,如果适用的话。您通常会为原始类型的每个案例提供相同类型的结果。

List最为熟悉。我一直认为fold基本上是带累加器的for循环,但您也可以将其视为两种情况,一种用于Nil情况,一种用于{{1} } 案件。由于实际类型Cons是递归的,因此必须是List

Scala标准库也在fold上定义fold,签名为Option。在这种情况下,因为类型不是递归的,fold[B](ifEmpty: ⇒ B)(f: (A) ⇒ B): B实际上只是两个函数的两个函数。

您的案例与fold非常相似。类型不是递归的,因此Option基本上归结为将其状态的所有情况映射到一种输出类型。

请注意foldfoldmap的不同之处在于后两者保留原始类型,但更改其内容。