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.
