scala – Play Framework表单“折叠”方法命名原理

发布时间：2020-12-16 08:43:49 所属栏目：安全来源：网络整理

导读：Play Framework的(2.x) Form class有一个名为fold的方法,其用法表示为： anyForm.bindFromRequest().fold( f = redisplayForm(f),t = handleValidFormSubmission(t)) 本质上,第一个函数参数是在绑定失败时执行的,第二个是绑定成功.对我而言,它似乎类似于jque

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

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

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

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

解决方法

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

列表是最熟悉的.我一直认为折叠基本上是一个带累加器的for循环,但你也可以把它看作两种情况,一种用于Nil情况,一种用于Cons情况.因为实际类型List是递归的,所以它必须是它的折叠.

Scala标准库也定义了折叠选项,带有签名fold [B](ifEmpty：?B)(f：(A)?B)：B.在这种情况下,因为类型不是递归的,所以折叠真的两个案例只是两个函数.

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

请注意,fold与map和flatMap的不同之处在于后两者保留原始类型,但更改其内容.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!