为什么 tsc 在泄漏传递实现类型时会给出如此神秘的错误？

Question

我有一个节点模块 A 依赖于另一个节点模块 B，两者都是用 Typescript 编写的。模块 B 将 Promise 返回给 A，并选择 bluebird 作为 Promise 实现。 B 当然有蓝鸟的打字。

但是，如果 A 没有蓝鸟类型（在我的情况下可能不应该），我会收到如下错误：

~/d/p/ensime-vscode ❯❯❯ tsc -p .                                                                                                                                                              ⏎ master ✭ ✱
node_modules/ensime-client/**/file-utils.d.ts(1,26):
 error TS2307: Cannot find module 'bluebird'.

我花了一段时间才意识到这是由于我泄露了 Bluebird 的具体 Promise 类型。将所有公共返回类型更改为 PromiseLike 会使错误消失。

我的问题是，有没有办法在我的独立模块 B 上更早地检测到这些？我记得当模块泄漏以前不公开的类型时有时会出错，但在这种情况下，模块 B 构建得很好。这对我来说非常模糊，因为我对 Typescript 很陌生。我猜 Typescript 与我习惯的不同。

另外，tsc 是否有可能针对这些情况发出更好的错误消息？

小更新： 当我“泄漏”本地定义的类型时，它会直接在 B 中捕获：

export interface CompletionsResponse extends Typehinted {
  completions: [Completion]
}

interface Completion {
}

[ts] 导出接口的属性“完成”具有或正在使用私有名称“完成”。 接口完成

如果我要从诸如“bluebird”之类的依赖项中暴露某些东西，我希望能够直接捕捉到这种东西。Promise 也是如此。我从来没有打算将'bluebird'作为传递依赖项公开，老实说，我什至不知道如何使用打字来做到这一点？因此，当它构建得很好时，发生的事情是“bluebird”默默地变成了 npm toungue 中的一种“对等依赖”。

Answer 1

如果一个包对另一个模块有类型依赖，这个依赖应该包含在包的typings.json中，typings install bluebird --save。

模块 B 的类型声明应该类似于 type declaration for redux-persist（但在实际项目中）。它depends on redux for several types。因此，有一个dependency listed in the typings.json。

关于打字稿错误消息，它们有点痛苦。 ¯\_(ツ)_/¯