regarding the "separate files" issue: I see in the python world (that support both external .pyi files and "inline" annotations) some obvious things: - there i

regarding the "separate files" issue: I see in the python world (that support both external .pyi files and "inline" annotations) some obvious things: - there is space for every solution (sometimes is really ugly to read type-annotated .py files, sometimes it's very clumsy to look to the associated .pyi files for types) - the "in-line" approach is gaining popularity. - the "external files" ease the transition (there are packages that only exposes .pyi files to extends the work of the autors that don't want to deal with them)