考虑它的一种方法是考虑类型与函数。
Ramda 提供了大量实用功能。它们对数组、对象、函数、字符串、数字等进行操作。但它们也对用户定义的类型进行操作。因此,在您的示例中,R.map 对与Functor specification 匹配的任何内容进行操作。如果您使用的Either 的实现与该规范匹配,那么Ramda 的map 将对其进行操作。
但是 Ramda 不提供类型。它适用于对象、数组、函数等内置类型。但是——可以说在Lens 之外——它不提供自己的任何类型。 Folktale 等库提供了大量类型集合,例如Maybe、Result、Validation、Task 和Future; Fluture 等更专用的版本提供了一种特定类型的强大版本 (Future)。所有这些类型都实现了 Functor 规范。此类实现的一个非常不完整的列表是 supplied by FantasyLand。
这两个概念,抽象类型上的函数和类型集合是互补的。适用于 any 函子的 Ramda 函数将适用于您使用的任何版本的 Either(只要它符合规范)。有关此关系的更多信息请参见 StackOverflow Q+A。
本题对比了这两个sn-ps:
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 提供了一些很好的方法来以通用方式与它们进行互操作。