[Baypiggies] Reminder: Introducing Type Annotations for Python TOMORROW (Thursday)

[Guido van Rossum]

Thanks everyone for showing up last night despite the rain!

Here are the slides we used:
https://www.dropbox.com/s/6guh91lixacsyr7/Mypy%20Baypiggies.pdf?dl=0

Here is David's Bank example (unannotated, with bugs):
https://www.dropbox.com/s/9cqxm2k5o75ddo8/demo.py?dl=0

Hopefully the video recording will come online soon.

As a reminder, use "pip install mypy-lang" -- the trailing "-lang" is
important!

--Guido

On Wed, Dec 14, 2016 at 11:30 AM, Glen Jarvis <glen at glenjarvis.com> wrote:

> Because of the holidays, this is a week earlier than normal. It's tomorrow:
>
> Also, remember, we're at a new location:
>
> LinkedIn, Yosemite Room
> 605 W. Maude Ave, Sunnyvale, CA
>
>
> Please RSVP to make our lives easier:
> https://www.meetup.com/BAyPIGgies/events/232817503/
>
>
>
> ABSTRACT
> 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.
> 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).
>
> GUIDO VAN ROSSUM
> 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.
>
> JUKKA LEHTOSALO
> (Based in UK and may not be able to attend)
> 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.
>
> GREG PRICE
> Greg Price is an engineer at Dropbox. Previously he worked at Quora and
> helped Ksplice make rebooting obsolete.
>
> DAVID FISHER
> David Fisher works full time on mypy (the PEP 484 static type checker) at
> Dropbox. He enjoys learning esoteric languages in his spare time.
>
>
> _______________________________________________
> Baypiggies mailing list
> Baypiggies at python.org
> To change your subscription options or unsubscribe:
> https://mail.python.org/mailman/listinfo/baypiggies
>



-- 
--Guido van Rossum (python.org/~guido)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/baypiggies/attachments/20161216/c258c754/attachment.html>