带有 FP 类型的 Ramda

Posted 2023-03-15

【中文标题】带有 FP 类型的 Ramda

【英文标题】：Ramda with FP Types

【发布时间】：2021-09-24 21:29:08

【问题描述】：

最近我决定从 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？

【参考方案1】：

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

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（只要它符合规范）。有关此关系的更多信息请参见 *** 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 提供了一些很好的方法来以通用方式与它们进行互操作。

【讨论】：

我想换一种说法——Functor广泛地是一个接口。有一系列的行为期望，但我们可以暂时将它们放在一边。 Functor 必须有一个.map() 方法。 Ramda 的R.map() 适用于任何具有.map() 方法的东西。这意味着它适用于任何 Functor。可以非常简单地实现与map = fn = x => x.map(fn) 相同的事情——您可以针对普通数组或Either 运行它。因为两者都符合 Functor 规范。

@VLAZ：是的，但是当这些接口组合时会变得最有趣。例如，R.lift 应该适用于任何具有 map 和 ap 方法的东西。 fp-ts 在这条路上走得更远。我也想看到 Ramda 也跟着去。

我也希望看到 Ramda 这样做 :)

@VLAZ：我一直在悄悄地做一个副项目——它最终可能会合并到更高版本的 Ramda 中，可能成为它自己的东西，或者可能会逐渐消失——它结合了Ramda 的实用函数风格，带有类型类和许多有用的类型，类似于 fp-ts，但在纯 JS 中并具有可插拔架构。如果您定义了自己的新类型类，您应该能够打开 Array 或 Either 来为它们实现 if。也许有一天它会重见天日。

感谢您告诉我。我会对它采取的任何形状非常感兴趣。手指交叉它确实以某种形式出现。