javascript - 带有 FP 类型的 Ramda
问题描述
最近我决定从 lodash 切换到 ramda,以使用编写逻辑的函数式方式。我喜欢它!在对 FP 进行了深入研究之后,我发现它不仅是关于方便的纯/无点实用程序(ramda),而且更多的是关于复杂的(至少对我而言)数学抽象(幻想世界)。我没有完全理解,但是 Either 和 Task 模式看起来很方便。问题是我不确定如何将它与 ramda 实用程序合并。我知道 ramda-fantasy,但它不再维护。Ramda-fantasy 建议的库与 ramda-fantasy 的工作方式不同。有了关于 Monads/Monoids/Functors 类型的所有这些新信息,我完全迷失了。
例如,这个约定是什么?
Right('boo')
.map(x => x + '!')
.map(x => x.toUpperCase())
vs
R.pipe(
R.map(x => x + '!')
R.map(x => x.toUpperCase())
)(Right('boo'))
如果我决定一路切换到 Monads,我是否不需要 ramda?
解决方案
考虑它的一种方法是考虑类型与函数。
Ramda 提供了大量的实用函数。它们对数组、对象、函数、字符串、数字等进行操作。但它们也对用户定义的类型进行操作。因此,在您的示例中,对与Functor 规范R.map
匹配的任何内容进行操作。如果您使用的实现与该规范匹配,那么 Ramda将对其进行操作。Either
map
但是 Ramda 不提供类型。它适用于对象、数组、函数等内置类型。但是——可以说是在外部Lens
——它不提供任何自己的类型。Folktale等库提供了大量类型,例如Maybe
、Result
、Validation
和; Fluture 等更专用的版本提供了一种特定类型的强大版本 ( )。所有这些类型都实现了 Functor 规范。FantasyLand 提供了一个非常不完整的此类实现列表。Task
Future
Future
这两个概念,抽象类型上的函数和类型集合是互补的。适用于任何仿函数的 Ramda 函数将适用于您使用的任何版本的 Either(只要它符合规范)。有关此关系的更多信息请参见StackOverflow Q+A。
该问题比较了这两个片段:
Right('boo')
.map(x => x + '!')
.map(x => x.toUpperCase())
和
R.pipe(
R.map(x => x + '!')
R.map(x => x.toUpperCase())
)(Right('boo'))
但我也不会从 Ramda 的角度来看待这个问题。Ramda 是关于功能的。它提供功能并希望您使用它们来构建更复杂的功能,然后使用这些功能来构建更高级别的功能。
如果我们写这个函数:
const bigBang = pipe(
map (x => x + '!'),
map (x => x .toUpperCase ())
)
或者这个版本
const bigBang = pipe (
map (concat (__, '!')),
map (toUpper)
)
那么这个函数现在可用于许多类型。例如:
bigBang (['boo', 'scared', 'you']) //=> ['BOO!', 'SCARED!', 'YOU!']
bigBang ({a: 'boo', b: 'ya'}) //=> {a: 'BOO!', b: 'YA!}
bigBang ((s) => s .repeat (2)) ('boo') //=> 'BOOBOO!'
bigBang (Right ('boo')) //=> Right ('BOO!')
bigBang (Left ('oops')) //=> Left ('oops')
bigBang (Just ('boo')) //=> Just ('BOO!')
bigBang (Nothing()) //=> Nothing ()
bigBang (Future ('boo')) //=> Future ('BOO!')
前三个——数组、对象和函数实现——由 Ramda 提供。但是其他的仍然有效,因为 Ramda 与 FantasyLand Functor 规范互操作。如果您map
在类型上提供自己的方法(甚至更好的fantasy-land/map
方法),它将起作用。
所以不,你不需要 Ramda 来处理 Monad 或其他抽象类型。您可以直接使用它们的实现。但是 Ramda 提供了一些很好的方法来以通用方式与它们进行互操作。
推荐阅读
- python - 连接列表中的一些字符串
- html - 如何使用角度 8 在下拉列表中显示动态多列?
- java - picocli 异常行为改变了吗?
- c++ - 找到值时返回链表节点的索引
- java - 使用扫描仪读取文件时线程“主”java.util.InputMismatchException 中的异常
- cucumber - Rails黄瓜未初始化常量用户(NameError)
- delphi - 需要帮助将 x86 ASM 转换为 x64
- scala - 添加依赖项以在 build.sbt 本身中使用
- sql-server - 在五份非常相似的 Access 报告中,一份按周分组
- python - 有效地将结果聚合到 Python 数据结构中