各种 Promises 实现中失败 `reason` 的 typescript 类型？

Question

当前d.ts各种 promise 库的定义文件似乎放弃了提供给失败回调的数据类型。

当.d.ts:

interface Deferred<T> {
    notify(update: any): void;
    promise: Promise<T>;
    reject(reason: any): void;
    resolve(value?: T): void;
    resolve(value?: Promise<T>): void;
}

q.d.ts:

interface Deferred<T> {
    promise: Promise<T>;
    resolve(value: T): void;
    reject(reason: any): void;
    notify(value: any): void;
    makeNodeResolver(): (reason: any, value: T) => void;
}

jquery.d.ts(promise-ish):

fail(failCallback1?: JQueryPromiseCallback<any>|JQueryPromiseCallback<any>[], ...failCallbacksN: Array<JQueryPromiseCallback<any>|JQueryPromiseCallback<any>[]>): JQueryPromise<T>;

我在 Promises/A+ spec 中没有看到任何内容向我建议 reason 无法输入。

我确实在 q.d.ts 上尝试过，但是类型信息似乎在从 'T 转换的地方丢失了至 'U发生了，我不完全理解为什么必须是这种情况 - 以及我的尝试(机械地将 'N 和 'F 类型参数添加到 <T> 和 'O 和 'G 类型参数到 <U> 和按我认为应该的方式输入内容)主要导致 {}是新添加的类型参数的类型。

有没有理由不能给它们自己的类型参数？是否存在可以完全键入的 promise 结构？

Answer 1

哎呀，这真的很难。你在这里问的这个问题实际上是个好问题。

让我从一个开始

是的，可以打字

完全有可能创建一个将异常考虑在内的 promise 类型。当我用类型化语言实现 promise 库时，我从 Promise<T,E> 开始。类型，后来才恢复为 Promise<T> - 它有效但并不有趣。你要的东西有一个名字。

检查异常

您实际上在这里要求的是要检查的异常 - 这是一个函数必须声明它可能抛出的异常类型 - 有些语言实际上可以很好地处理异常。 .. 有一种 语言可以做到这一点 - Java。在 Java 中，当您有一个可能抛出异常(RuntimeException 除外)的方法时，它必须声明它:

 public T foo() throws E {}

请看，在 Java 中 - 返回类型和错误类型都是方法签名的一部分。这是一个有争议的选择，很多人觉得它很乏味。它在其他语言的开发人员中非常不受欢迎，因为它迫使您编写大量笨拙的代码。

假设您有一个返回 promise 的函数，该 promise 建立数据库连接以获取 URL、发出 Web 请求并将其写入文件。与 Java 中的 promise 等价的东西是这样的:

Promise<T, FileAccessError | DatabaseError | WebRequestError | WebConnectionError | TypeError>

多次键入并没有多少乐趣 - 因此这些语言(如 C#)中的异常类型通常是隐式的。也就是说，如果您喜欢这种风格选择，那么您绝对应该这样做。这真的不是微不足道的—— promise 的类型已经相当复杂了:

then<T,U> :: Promise<T> -> T -> Promise<U> | U -> Promise<U>

这就是then确实 - 它接受类型 T 的 promise ，以及接受 T 并返回值 (U) 或值的 promise (Promise) 的回调 - 并返回 Promise(解包和转换)。实际类型更难，因为它有第二个失败参数 - 并且两个参数都是可选的:

then<T,U> :: Promise<T> -> (T -> Promise<U> | U) | null) -> ((Promise<T> -> any -> Promise<U> | U) | null) -> Promise<U>

如果您添加错误处理，这将变得非常“有趣”，因为所有这些步骤现在都有一个额外的错误路径:

then<T,E,U,E2> :: Promise<T,E> -> (T -> Promise<U, E2> | U) | null -> (E -> Promise<U, E2> | U) | null -> Promise<U>

基本上 - then现在有 4 个类型参数，这是人们通常想避免的 :) 这完全有可能，但取决于您。