使用默认的外部声明来增强类型推理

Question

目前我们处理默认的外部声明并收集许多标准 JavaScript API 的类型信息。我们可以利用这一点来理解像(.-length some-string)这样的情况，并推断它将返回一个数字。这可能需要Mike Files的Clojure谓词推断工作来实现。

Answer 1

_由：mfikes_发表的评论

谓词引起的推断已落在主分支上（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报告）