问题描述
最近我决定从 lodash 切换到 ramda,以使用功能方式来编写我的逻辑。我喜欢它!在对 FP 进行了一些广泛的挖掘之后,我发现它不仅与方便的纯/无点实用程序 (ramda) 有关,而且更多地与复杂的(至少对我而言)数学抽象(fantasy-land)有关。我没有全部了解,但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 提供了大量实用函数。它们对数组、对象、函数、字符串、数字等进行操作。但它们也对用户定义的类型进行操作。因此,在您的示例中,R.map
对与 Functor specification 匹配的任何内容进行操作。如果您使用的 Either
的实现符合该规范,则 Ramda 的 map
将对其进行操作。
但 Ramda 不提供类型。它适用于内置类型,例如 Object、Array、Function 等。但是——可以说是在 Lens
之外——它不提供任何自己的类型。 Folktale 等库提供了大量类型的集合,例如 Maybe
、Result
、Validation
、Task
和 Future
;更专用的,例如 Fluture 提供了一种特定类型 (Future
) 的强大版本。所有这些类型都实现了 Functor 规范。此类实现的一个非常不完整的列表是 supplied by FantasyLand。
这两个概念,抽象类型上的函数和类型集合是互补的。适用于任何函子的 Ramda 函数将适用于您使用的任何版本的任一种(只要它符合规范。)有关此关系的更多信息在此 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 来处理 Monads 或其他抽象类型。您可以直接使用它们的实现。但是 Ramda 提供了一些很好的方式来以通用方式与它们进行互操作。