On Saturday, December 24, 2016 at 6:16:41 AM UTC-5, Edward K. Ream wrote: The last two years have seen @clean and the clone-find commands. Both are > game changers. My *goal *for the new year is create something similar. >
*Design and checking* > > After spending considerable time writing the make-stub-files > <https://github.com/edreamleo/make-stub-files> script, I have never used > mypy <http://mypy-lang.org/>. I'll probably play around with checking > next year. Programmers have not begun to use big data to validate/improve > their programs... > I recently realized that pep484 <https://www.python.org/dev/peps/pep-0484> contains a suggested syntax for type-comments <https://www.python.org/dev/peps/pep-0484/#suggested-syntax-for-python-2-7-and-straddling-code>. This would allow Leo to use mypy. To do this, I will adapt the make-stub-files script so it inserts those comments. EKR -- 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.
