带有 FP 类型的 Ramda

Question

最近我决定从 lodash 切换到 ramda 以使用函数式的方式来编写我的逻辑。我喜欢它！在深入研究 FP 之后，我发现它不仅与方便的 pure/point 免费实用程序 (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'))

我是否不需要 ramda 如果我决定一路切换到 Monads？

Answer 1

考虑它的一种方法是考虑类型与函数。

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.

抽象类型上的函数和类型集合这两个概念是互补的。适用于 any 仿函数的 Ramda 函数将适用于您使用的 Either 的任何版本（只要它符合规范。）有关此关系的更多信息，请参见。

问题比较了这两个片段：

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 提供了一些以通用方式与它们进行互操作的好方法。

带有 FP 类型的 Ramda

Ramda with FP Types

javascript

functional-programming

ramda.js

fantasyland

ramda-fantasy