3 ms·
Well you probably do still want the type checker to at least look at the public interfaces of any libraries you depend on, since you want it to enforce that you
by ali_m 6y ago
Well you probably do still want the type checker to at least look at the public interfaces of any libraries you depend on, since you want it to enforce that you're calling into them correctly.
- jraph 6y agoAbsolutely. It should probably not report errors that are not in your code, by default anyway, but still extract information about typing relevant to you as much as it can.