I think a lot of problems with types could be avoided if the package management system / linking system required typing of imported functions, even if the actua

I think a lot of problems with types could be avoided if the package management system / linking system required typing of imported functions, even if the actual language doesn't. Maybe there'll be a "safe" subset of the pip/npm registry that will only let typed APIs in, to promote the concept. As a side-note: is there data on how many dependencies there are of framework on npm, on average? If it's anywhere past two, I'd say that the extra time spent typing is more than compensated by the time saved by the user of the API.