On Thu, Jan 22, 2015, at 23:23, Steven D'Aprano wrote: > Rick Johnson wrote: > > > The solution is move the type > > hinting syntax completely out of the source file and into > > another file -- think of it as a "Python Type Hinting Header > > File". > > The 1970s called, they want their bad ideas back. > > I can do no better than to quote from the Go FAQs: > > Dependency management is a big part of software development > today but the “header files” of languages in the C tradition > are antithetical to clean dependency analysis—and fast > compilation.
This is more along the lines of a lint library than a header file (header files in the 1970s didn't even actually include function signature information) - which did not even participate in compilation at all. -- https://mail.python.org/mailman/listinfo/python-list