时间戳

首页 > 解决方案 > 在 TypeScript 中手动 curry 一个 add 函数

typescript - 在 TypeScript 中手动 curry 一个 add 函数

问题描述

我正在尝试创建一个可选的类型安全添加函数

    const add:
      | ((x: number) => (y: number) => number)
      | ((x: number, y: number) => number) = (x: number, y?: number) => {
      if (y !== undefined) {
        return x + y;
      } else {
        return (y: number) => x + y;
      }
    };

我希望能够运行此功能

add(1, 5)

或者

add(1)(5)

但目前第二次调用在编译时会引发两个类型错误。错误是

Type '(x: number, y?: number | undefined) => number | ((y: number) => number)' is not assignable to type '((x: number) => (y: number) => number) | ((x: number, y: number) => number)'.
  Type '(x: number, y?: number | undefined) => number | ((y: number) => number)' is not assignable to type '(x: number) => (y: number) => number'.
    Type 'number | ((y: number) => number)' is not assignable to type '(y: number) => number'.
      Type 'number' is not assignable to type '(y: number) => number'.

在函数定义和

Expected 2 arguments, but got 1.

在函数调用时。

我已经看到了返回any类型的问题的解决方案，但我一直无法找到类型安全的解决方案。我目前想用 TypeScript 做什么？

标签： typescriptcurrying

解决方案

是的，使用函数重载add()，您可以使用以下签名构造函数：

function add (x: number): (y: number) => number
function add (x: number, y: number): number
function add (x: number, y?: number): number | ((y: number) => number) {
    return y === undefined ? (y: number): number => x + y : x + y
}

前两个签名表示有效调用，最后一个签名是包含两个有效调用签名的联合签名。

推荐阅读