TypeScript结合Rambda实现乘加组合函数遇类型报错问题

你遇到的类型报错核心来自对R.pipe执行逻辑的误解：

• R.pipe是从左到右的函数组合：第一个函数接收调用时传入的所有参数，后续每个函数只接收前一个函数的返回值作为唯一入参，要求前后类型必须匹配。
• 你自定义的mul是柯里化二元函数，传入一个数字后返回值是(b: number) => number类型的函数，不是数字类型；后续的add期望入参是数字，类型完全不匹配，因此TS抛出类型错误。
• 另外你期望的const f = R.pipe(mul, add)逻辑上也不满足三参数的计算需求：mul执行完只得到等待第二个乘数的计算函数，没有地方接收第三个参数a完成加法。

库自带柯里化的R.add和R.multiply方法，不需要自己手写，可以直接用以下几种方式实现需求：

方案1：最简洁无点写法（推荐） #

用R.useWith实现参数转换，完全不需要显式声明参数，逻辑清晰：

import * as R from 'ramda';

// 逻辑：接收3个参数，第一个参数直接透传给add，第二、第三个参数传给multiply算乘积，最后求和
const f = R.useWith(R.add, [R.identity, R.multiply]);

// 验证
console.log(f(2, 3, 4)); // 输出 2 + 3*4 = 14，结果正确

R.useWith会自动根据传入的处理函数元数确定最终函数的参数个数：第一个处理函数R.identity是1元，因此接收第一个参数a；第二个处理函数R.multiply是2元，因此接收后续两个参数b、c，刚好匹配三参数的需求。

方案2：符合pipe组合习惯的写法 #

如果你更倾向用R.pipe的线性组合风格，可以配合R.juxt和R.apply实现：

import * as R from 'ramda';

const f = R.pipe(
  // 接收(a,b,c)，返回两个待相加的值：[a, b*c]
  R.juxt([
    R.nthArg(0), // 取第一个参数a
    R.converge(R.multiply, [R.nthArg(1), R.nthArg(2)]) // 取b、c算乘积
  ]),
  // 把数组两个元素传入add求和
  R.apply(R.add)
);

方案3：converge汇聚写法 #

用R.converge把分支计算结果汇聚到加法函数，逻辑也非常直观：

import * as R from 'ramda';

const f = R.converge(R.add, [
  R.nthArg(0), // 第一个分支：取参数a
  R.converge(R.multiply, [R.nthArg(1), R.nthArg(2)]) // 第二个分支：取b、c算乘积
]);

内容的提问来源于stack exchange，提问作者Nevermore