前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >Ramda 鲜为人知的一面

Ramda 鲜为人知的一面

原创
作者头像
林集团
发布2022-06-24 16:30:48
1.1K0
发布2022-06-24 16:30:48
举报
文章被收录于专栏:林集团的博客

在我们查阅Ramda的文档时, 常会见到一些"奇怪"的类型签名和用法:

"奇怪"的类型签名:

代码语言:text
复制
(Applicative f, Traversable t) => (a → f a) → t (f a) → f (t a)

某一些函数"奇怪"的用法:

代码语言:javascript
复制
// R.ap can also be used as S combinator // when only two functions are passed 
R.ap(R.concat, R.toUpper)('Ramda') //=> 'RamdaRAMDA'

这些"奇怪"的点背后隐藏着Ramda 背后"更深"一层的设计, 本文将会对此作出讲解, 并阐述背后通用的函数式编程理论知识.

Ramda 为人熟知的一面

Ramda 经常被当做Lodash 的另外一个"更加FP"的替代库.

相对于Lodash, Ramda 的优势(之一)在于柯里化和data last的设计带来的便捷的管道式编程(pipe).

举一个简单的代码对比示例:

Ramda:

代码语言:javascript
复制
const myFn = R.pipe (
  R.fn1,
  R.fn2 ('arg1', 'arg2'),
  R.fn3 ('arg3'),
  R.fn4
)

Lodash:

代码语言:javascript
复制
const myFn = (x, y) => {
  const var1 = _.fn1 (x, y)
  const var2 = _.fn2 (var1, 'arg1', 'arg2')
  const var3 = _.fn3 (var2, 'arg3')
  return _.fn4 (var3)
}

该示例节选之Stackoverflow上的回答

Ramda 类型签名下鲜为人知的一面

在Ramda 的API文档中, 类型签名的语法有些"奇怪":

addNumber → Number → Number

我们结合Ramda 的柯里化规则, 稍加推测, 可以将这个函数转换为TypeScript 的定义:

代码语言:TypeScript
复制
export function add(a: number, b: number): number;

export function add(a: number): (b: number) => number;

OK, 那为什么Ramda 的文档不直接使用TypeScript 表达函数的类型呢?

其实上面的示例已经部分回答了这个问题 -- 因为更加简洁.

其实Ramda 文档中的类型签名使用的是Haskell 的语法, Haskell 作为一门函数式编程语言, 其语法可以很简洁地表达柯里化的语义, 相较之下, TypeScript 的重载的表达方式就显得比较臃肿.

当然, 使用Haskell 的类型签名的意义不仅于此, 让我们再看看其他"奇怪"的函数类型:

ap[a → b] → [a] → [b] Apply f => f (a → b) → f a → f b (r → a → b) → (r → a) → (r → b)

结合文档中的demo:

代码语言:javascript
复制
R.ap([R.multiply(2), R.add(3)], [1,2,3]); //=> [2, 4, 6, 4, 5, 6]

R.ap([R.concat('tasty '), R.toUpper], ['pizza', 'salad']); //=> ["tasty pizza", "tasty salad", "PIZZA", "SALAD"] 

// R.ap can also be used as S combinator 
// when only two functions are passed 
R.ap(R.concat, R.toUpper)('Ramda') //=> 'RamdaRAMDA'

[a → b] → [a] → [b]我们好理解, 就是笛卡尔积.

(r → a → b) → (r → a) → (r → b)我们也能理解, 就是两个函数的串联.

Apply f => f (a → b) → f a → f b就有点难理解了, 语法上就有些陌生, 我们先将其翻译成TypeScript 语法:

:), 好吧, 这段类型没法简单地翻译成TypeScript, 因为:

TypeScript 不支持将类型构造器作为类型参数.

举个例子:

代码语言:TypeScript
复制
type T<F> = F<number>;

报错信息如下:

Type 'F' is not generic.

在类型签名中F是一个类型构造器, 既和Array一样的返回类型的类型.

然而, TypeScript 里根本无法声明"一个类型参数为类型构造器".

正如示例中type T<F> = F<number>;中, 我们无法告诉TypeScript, 这里的F是一个类型构造器, 所以当将number传入F的时候, 就报错了.

OK, 我们假设TypeScript 支持声明"一个类型参数为类型构造器", 让我们再来看看Apply f => f (a → b) → f a → f b该怎么翻译:

代码语言:TypeScript
复制
type AP = <F extends Appy, A, B>(f: F<((a: A) => B)>) => (fa: F<A>) => F<B>;

这里的F可以理解为一种上下文, 这段类型签名可以先简单地理解为:

将一个包裹在上下文中的函数取出, 再将另一个包裹在上下文中的取出, 调用函数后, 将函数的返回值重新包裹进上下文中并返回.

这里的上下文是一个泛指, 比如我们可以将其特异化(specialize)为Promise :

代码语言:TypeScript
复制
type AP = <A, B>(f: Promise<((a: A) => B)>) => (fa: Promise<A>) => Promise<B>;  
  
const ap: AP = (f) => fa => f.then(ff => fa.then(ff));

ap或说Apply作为函数式编程中的一种常见抽象, 有着重要的学习意义, 但其抽象的解析超出本文范围, 在这里我们只聚焦于是什么, 暂不考虑为什么.

那么, (r → a → b) → (r → a) → (r → b)Apply f => f (a → b) → f a → f b是什么关系?

他们之间是同父异母的关系, (r → a → b) → (r → a) → (r → b)是对Apply f => f (a → b) → f a → f b的特异化, 正如我们对Promise 做的那样.

函数也可以是一个上下文?

答案是可以的, 我们可以将一个一元函数a -> b理解为"一个包裹在上下文中的b, 只不过为了获取这个b, 需要先传入一个a.

为了减少语法噪音, 让我们先看看Haskell 对ap 的定义:

代码语言:text
复制
instance Applicative ((->) r) where
    (<*>) f g x = f x (g x)

替换为TypeScript 的实现, 我们将上面的Promise 的例子稍微修改下, 得出:

代码语言:TypeScript
复制
type F<A> = (a: any) => A;

type AP = <A, B>(f: F<((a: A) => B)>) => (fa: F<A>) => F<B>;  
  
const ap: AP = f => fa => {  
    return (r) => f(r)(fa(r));  
}

同样的, 我们得到Apply 特异化为Array 的实现:

代码语言:TypeScript
复制
type AP = <A, B>(f: Array<((a: A) => B)>) => (fa: Array<A>) => Array<B>;

const ap: AP = f => fa => {
	return f.flatMap(ff => fa.map(ff));
};

综上所述, 我们可以得出结论:

ap的类型签名[a → b] → [a] → [b](r → a → b) → (r → a) → (r → b)Apply f => f (a → b) → f a → f b的特异化.

可是为什么Ramda 要这么设计

本文只聚焦于"是什么", 至于"为什么", 这个我们留到下一篇?.再讲.

原创声明:本文系作者授权腾讯云开发者社区发表,未经许可,不得转载。

如有侵权,请联系 cloudcommunity@tencent.com 删除。

原创声明:本文系作者授权腾讯云开发者社区发表,未经许可,不得转载。

如有侵权,请联系 cloudcommunity@tencent.com 删除。

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • Ramda 为人熟知的一面
  • Ramda 类型签名下鲜为人知的一面
  • 可是为什么Ramda 要这么设计
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档