<div dir="ltr"><div><div><div>Thanks everyone for showing up last night despite the rain!<br><br></div>Here are the slides we used:<br><a href="https://www.dropbox.com/s/6guh91lixacsyr7/Mypy%20Baypiggies.pdf?dl=0">https://www.dropbox.com/s/6guh91lixacsyr7/Mypy%20Baypiggies.pdf?dl=0</a><br><br></div><div>Here is David's Bank example (unannotated, with bugs):<br><a href="https://www.dropbox.com/s/9cqxm2k5o75ddo8/demo.py?dl=0">https://www.dropbox.com/s/9cqxm2k5o75ddo8/demo.py?dl=0</a><br></div><div><br></div>Hopefully the video recording will come online soon.<br><br></div><div>As a reminder, use "pip install mypy-lang" -- the trailing "-lang" is important!<br></div><div><br></div>--Guido<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Dec 14, 2016 at 11:30 AM, Glen Jarvis <span dir="ltr"><<a href="mailto:glen@glenjarvis.com" target="_blank">glen@glenjarvis.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Because of the holidays, this is a week earlier than normal. It's tomorrow:</div><div><br></div><div>Also, remember, we're at a new location:<br><br><div>LinkedIn, Yosemite Room</div><div>605 W. Maude Ave, Sunnyvale, CA</div></div><div><br></div><div><br></div><div>Please RSVP to make our lives easier:</div><div><a href="https://www.meetup.com/BAyPIGgies/events/232817503/" target="_blank">https://www.meetup.com/<wbr>BAyPIGgies/events/232817503/</a><br></div><div><br></div><div><br></div><div><br></div><div>ABSTRACT</div><div>Dropbox has several million lines of production code written in Python 2.7. As a first step towards migrating to Python 3, as well as to generally make our code more navigable, we are annotating our code with type annotations using the PEP 484 standard and type-checking the annotated code with mypy. In this talk we will discuss lessons learned and show how you too can start type-checking your legacy Python 2.7 code, one file at a time. We will also describe some of the many improvements we’ve made to mypy in the process, as well as some other tools that come in handy.</div><div>Mypy is an open-source type-checker for Python. It was originally created by one of the speakers, Jukka Lehtosalo, in support of his PhD thesis, before he joined Dropbox. Mypy supports the PEP 484 standard for gradual typing in Python. It supports Python 3.2 and higher, as well as Python 2.7 (using function signatures in type comments, per a recent update to PEP 484).</div><div>
</div><div><br></div><div>GUIDO VAN ROSSUM</div><div>Guido van Rossum is the author of the Python programming language. He continues to serve as the "Benevolent Dictator For Life" (BDFL), meaning that he continues to oversee the Python development process, making decisions where necessary. He is currently employed by Dropbox.</div><div><br></div><div>
</div><div>JUKKA LEHTOSALO</div><div>(Based in UK and may not be able to attend)</div><div>Jukka Lehtosalo created mypy, an optional static type checker for Python, while working on his PhD at the University of Cambridge. He currently works at Dropbox and continues to lead the development of mypy.</div><div><br></div><div>
</div><div>GREG PRICE</div><div>Greg Price is an engineer at Dropbox. Previously he worked at Quora and helped Ksplice make rebooting obsolete.</div><div><br></div><div>
</div><div>DAVID FISHER</div><div>David Fisher works full time on mypy (the PEP 484 static type checker) at Dropbox. He enjoys learning esoteric languages in his spare time.</div><div><br></div></div>
<br>______________________________<wbr>_________________<br>
Baypiggies mailing list<br>
<a href="mailto:Baypiggies@python.org">Baypiggies@python.org</a><br>
To change your subscription options or unsubscribe:<br>
<a href="https://mail.python.org/mailman/listinfo/baypiggies" rel="noreferrer" target="_blank">https://mail.python.org/<wbr>mailman/listinfo/baypiggies</a><br></blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">--Guido van Rossum (<a href="http://python.org/~guido" target="_blank">python.org/~guido</a>)</div>
</div>