使用默认的外部扩展来提升类型推断

Question

目前我们处理默认的外部扩展，并为此收集许多标准 JavaScript API 的类型信息。我们可以利用这一点来理解如 (.-length some-string) 的情况，并推断它将返回一个数字。这可能与 Mike Files 的 Clojure 谓词推断工作有关，才能在实际中应用。

Answer 1

_由：mfikes_ 发表的评论

谓词触发的推断已在 master 上落成（CLJS-2866）。

David 在代码中留下的注释展示了如何利用它：https://github.com/clojure/clojurescript/blob/f97d766defd02f7d43abd37e3e9b04790a521b1e/src/main/clojure/cljs/externs.clj#L165-L172

顺便说一句，这个问题可能会减轻在 {{subs}} 中显示 {{^string}} 指示的必要性（CLJS-2868）。

Answer 2

参考：https://clojure.atlassian.net/browse/CLJS-2987（报告人：dnolen）