TypeScript 类型推导真强大。

最近在学习开发客户端相关的功能，发现 Kotlin 和 Swift 要实现泛化的高阶函数不太容易。比如我要实现一个高阶函数，需要将传入的一个 async 函数转为串行执行的函数，必须等待前一个任务完成后才能开始下一个。使用 TS 可以这么做：

function sequentialize<T extends (...args: any[]) => Promise<any>>(
  asyncFn: T
): (...args: Parameters<T>) => ReturnType<T> {
  let queue: Promise<void> = Promise.resolve(); // 初始化队列
  return function (...args: Parameters<T>): ReturnType<T> {
    const result = queue.then(() => asyncFn(...args)); // 将异步任务添加到队列中
    queue = result.catch(() => {}); //捕获错误,防止队列中
    return result as ReturnType<T>; //确保返回类型与原始函数一致
  };
}

async function plus(a: number, b: number): Promise<number> {
  await new Promise<void>((resolve) => {
    setTimeout(() => {
      resolve();
      console.log(performance.now(), a, b);
    }, 1000);
  });
  return a + b;
}

const sequentializePlus = sequentialize(plus);

但这在 Swift 和 Kotlin 里不太好处理，它们没法传入动态的函数，并包装后返回同类型的函数。想问下，如果像 Swift 和 Kotlin 这样的强类型语言要实现这样的语法，是否会存在什么限制？是否是因为 TS 编译后的 JS 是动态类型的，才支持这种类型推导（运行不会出问题），而 Swift 和 Kotlin 无法做到？

hronro

63 天前

你这有点题不对文， [类型推导] 指的是不用写类型标注，编译器就能自动推导出变量的类型，TS 在这方面被 OCaml 秒成渣渣。
至于你文中说的这种情况，只要是类型系统强大一点或者支持函数为一等公民的都能实现，和强弱类型没有任何关系，像 Rust 这种更偏底层的语言也能实现你之前提到的特性。

zhbhun

63 天前

@hronro 试了下 rust ，确实支持，看来还是跟语言设计有关系。

```rust
fn with_logging<F, R>(args: F) -> R
where
F: FnOnce() -> R, // 接受一个闭包或函数，返回类型为 R
{
println!("执行函数之前的日志...");
let result = args(); // 执行传入的闭包
println!("执行函数之后的日志...");
result // 返回传入闭包的返回值
}

fn main() {
// 无参数函数
let no_args_task = || {
println!("无参数任务执行中...");
42
};

// 单个参数函数
let single_arg_task = |x: i32| -> i32 {
println!("单个参数任务，参数为：{}", x);
x * 2
};

// 多个参数函数，通过闭包包装来适配
let multiple_args_task = |x: i32, y: i32| -> i32 {
println!("多个参数任务，参数为：{}, {}", x, y);
x + y
};

// 调用高阶函数
let result1 = with_logging(no_args_task);
let result2 = with_logging(|| single_arg_task(21));
let result3 = with_logging(|| multiple_args_task(5, 10));

println!("无参数任务返回值：{}", result1);
println!("单个参数任务返回值：{}", result2);
println!("多个参数任务返回值：{}", result3);

// 最终输出
// 执行函数之前的日志...
// 无参数任务执行中...
// 执行函数之后的日志...
// 执行函数之前的日志...
// 单个参数任务，参数为：21
// 执行函数之后的日志...
// 执行函数之前的日志...
// 多个参数任务，参数为：5, 10
// 执行函数之后的日志...
// 无参数任务返回值：42
// 单个参数任务返回值：42
// 多个参数任务返回值：15
```

这是一个专为移动设备优化的页面（即为了让你能够在 Google 搜索结果里秒开这个页面），如果你希望参与 V2EX 社区的讨论，你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/1081497