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折叠函数。
答案 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
基本上归结为将其状态的所有情况映射到一种输出类型。
请注意fold
与fold
和map
的不同之处在于后两者保留原始类型,但更改其内容。