Ramda 哪些让人困惑的函数签名规则

更新日期: 2022-06-13阅读: 927标签: 函数

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

(Applicative f, Traversable t) => (a → f a) → t (f a) → f (t a)

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

// 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:
const myFn = R.pipe (
  R.fn1,
  R.fn2 ('arg1', 'arg2'),
  R.fn3 ('arg3'),
  R.fn4
)
  • Lodash:
const myFn = (x, y) => {
  const var1 = _.fn1 (x, y)
  const var2 = _.fn2 (var1, 'arg1', 'arg2')
  const var3 = _.fn3 (var2, 'arg3')
  return _.fn4 (var3)
}

Ramda 类型签名

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

  • add: Number → Number → Number

我们结合 Ramda 的柯里化规则, 稍加推测, 可以将这个函数转换为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:

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 不支持将 「类型构造器」 作为类型参数!举个例子:

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该怎么翻译:

type AP = <F extends Appy, A, B>(f: F<((a: A) => B)>) => (fa: F<A>) => F<B>;

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

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

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

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 的定义:

instance Applicative ((->) r) where
    (<*>) f g x = f x (g x)

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

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 的实现:

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的特异化。

来源: Tecvan

链接: https://fly63.com/article/detial/11718

JavaScript 函数式编程

我理解的 JavaScript 函数式编程,都认为属于函数式编程的范畴,只要他们是以函数作为主要载体的。

Js函数式编程,给你的代码增加一点点函数式编程的特性

给你的代码增加一点点函数式编程的特性,最近我对函数式编程非常感兴趣。这个概念让我着迷:应用数学来增强抽象性和强制纯粹性,以避免副作用,并实现代码的良好可复用性。同时,函数式编程非常复杂。

让我们来创建一个JavaScript Wait函数

Async/await以及它底层promises的应用正在猛烈地冲击着JS的世界。在大多数客户端和JS服务端平台的支持下,回调编程已经成为过去的事情。当然,基于回调的编程很丑陋的。

JavaScript函数创建的细节

如果你曾经了解或编写过JavaScript,你可能已经注意到定义函数的方法有两种。即便是对编程语言有更多经验的人也很难理解这些差异。在这篇博客的第一部分,我们将深入探讨函数声明和函数表达式之间的差异。

编写小而美函数的艺术

随着软件应用的复杂度不断上升,为了确保应用稳定且易拓展,代码质量就变的越来越重要。不幸的是,包括我在内的几乎每个开发者在职业生涯中都会面对质量很差的代码。这些代码通常有以下特征:

javascript回调函数的理解和使用方法(callback)

在js开发中,程序代码是从上而下一条线执行的,但有时候我们需要等待一个操作结束后,再进行下一步操作,这个时候就需要用到回调函数。 在js中,函数也是对象,确切地说:函数是用Function()构造函数创建的Function对象。

js调用函数的几种方法_ES5/ES6的函数调用方式

这篇文章主要介绍ES5中函数的4种调用,在ES5中函数内容的this指向和调用方法有关。以及ES6中函数的调用,使用箭头函数,其中箭头函数的this是和定义时有关和调用无关。

JavaScript中函数的三种定义方法

函数的三种定义方法分别是:函数定义语句、函数直接量表达式和Function()构造函数的方法,下面依次介绍这几种方法具体怎么实现,在实际编程中,Function()构造函数很少用到,前两中定义方法使用比较普遍。

js在excel的编写_excel支持使用JavaScript自定义函数编写

微软 称excel就实现面向开发者的功能,也就是说我们不仅可以全新定义的公式,还可以重新定义excel的内置函数,现在Excel自定义函数增加了使用 JavaScript 编写的支持,下面就简单介绍下如何使用js来编写excel自定义函数。

js中的立即执行函数的写法,立即执行函数作用是什么?

这篇文章主要讲解:js立即执行函数是什么?js使用立即执行函数有什么作用呢?js立即执行函数的写法有哪些?

点击更多...

内容以共享、参考、研究为目的,不存在任何商业目的。其版权属原作者所有,如有侵权或违规,请与小编联系!情况属实本人将予以删除!