Just out of curiosity, what kind of intuitions do stub files apply to? On Monday, February 15, 2016 at 5:34:16 AM UTC-5, Edward K. Ream wrote: > > On Thursday, February 11, 2016 at 9:57:06 AM UTC-6, Edward K. Ream wrote: > > I have just declared the make-stub-files project to be code complete. I'll >> be working on docs, but I'll also be coming up to speed with recent Leonine >> developments. >> > > At last, the make-stub-files looks well and truly finished. I've just said > as much here > <https://groups.google.com/forum/#!topic/python-static-type-checking/NRMV4PLqWog> > . > > Yesterday I ran the script on all of Leo's files. All looks well. Stub > files seem to correspond to my intuitive view of code. However, the stub > files show all the details that intuition ignores. So you could say that > stub files show where intuition is misleading. It's great that mypy can > check this intuition. > > In short, make_stub_files is a great resolution of a long-running interest > in type checking for Python. I'm glad to be quit of it :-) > > On to the exciting discussions about Leo's new directions... > > Edward >
-- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
