[$] Python static typing update

Post Syndicated from jake original https://lwn.net/Articles/757218/rss

One of the larger features added to Python over the last few releases is
support for static typing in the language. Static type-checking and tools
to support it show up frequently
as topics at the Python Language
Summit
(PLS) and this year was no exception. Mypy developers Jukka Lehtosalo and Ivan
Levkivskyi gave an update on static typing at PLS 2018.